better config: parse file + crunch
This commit is contained in:
parent
9994385179
commit
b3785a8d26
9 changed files with 213 additions and 341 deletions
1
src/dune
1
src/dune
|
|
@ -13,6 +13,7 @@
|
|||
b32
|
||||
;
|
||||
include
|
||||
parse_config
|
||||
;
|
||||
caqti
|
||||
caqti-miou
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue