add caqti device
This commit is contained in:
parent
606d2a6045
commit
c9100e993c
7 changed files with 82 additions and 5 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