reorganization and project rename
This commit is contained in:
parent
35b0a4f6dd
commit
def41120c1
20 changed files with 42 additions and 39 deletions
3
lib/kestrel_varvara/dune
Normal file
3
lib/kestrel_varvara/dune
Normal file
|
|
@ -0,0 +1,3 @@
|
|||
(library
|
||||
(name kestrel_varvara)
|
||||
(libraries kestrel unix))
|
||||
Loading…
Add table
Add a link
Reference in a new issue