-
- Downloads
Add bare Dune project + a few small changes
parents
No related branches found
No related tags found
Showing
- .gitignore 4 additions, 0 deletions.gitignore
- bin/client_db.ml 1 addition, 0 deletionsbin/client_db.ml
- bin/dune 4 additions, 0 deletionsbin/dune
- dune-project 26 additions, 0 deletionsdune-project
- lib/dune 2 additions, 0 deletionslib/dune
- test/client_db.ml 0 additions, 0 deletionstest/client_db.ml
- test/dune 2 additions, 0 deletionstest/dune
.gitignore
0 → 100644
bin/client_db.ml
0 → 100644
bin/dune
0 → 100644
dune-project
0 → 100644
lib/dune
0 → 100644
test/client_db.ml
0 → 100644
test/dune
0 → 100644
Please register or sign in to comment