rm bos
This commit is contained in:
parent
a6d2b59da1
commit
e849c418e9
3 changed files with 45 additions and 47 deletions
2
src/dune
2
src/dune
|
|
@ -16,7 +16,7 @@
|
|||
;
|
||||
; caqti
|
||||
caqti-miou
|
||||
caqti-miou.unix
|
||||
caqti-mnet
|
||||
caqti-driver-pgx
|
||||
bin
|
||||
mirage-crypto
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue