rename lib
This commit is contained in:
parent
f0ef5803b7
commit
fc4b8f5b8f
10 changed files with 63 additions and 55 deletions
|
|
@ -1,5 +1,5 @@
|
|||
(executable
|
||||
(name main)
|
||||
(modules main)
|
||||
(libraries js_of_ocaml brr slippery_slidy)
|
||||
(libraries js_of_ocaml brr gadgetobrr)
|
||||
(modes js))
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue