add caqti device
This commit is contained in:
parent
606d2a6045
commit
4749bb7c62
7 changed files with 83 additions and 6 deletions
4
src/dune
4
src/dune
|
|
@ -14,6 +14,10 @@
|
|||
;
|
||||
include
|
||||
;
|
||||
caqti
|
||||
caqti-miou
|
||||
caqti-miou.unix
|
||||
caqti-driver-pgx
|
||||
bin
|
||||
angstrom
|
||||
zarith ;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue