swrup/geochan
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

add configuration file, add the ability to disable registrations

Browse source
This commit is contained in:
zapashcanon 2022-02-19 22:13:45 +01:00
parent 754eb385f8
commit 31dd2b028a
No known key found for this signature in database
GPG key ID: 8981C3C62D1D28F1
4 changed files with 70 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/dune
View file

@ -18,17 +18,18 @@
user
user_profile)
(libraries
yojson
uuidm
bos
caqti.blocking
caqti-driver-sqlite3
bos
directories
dream
emile
lambdasoup
omd
safepass
lambdasoup)
scfg
uuidm
yojson)
(preprocess
(pps lwt_ppx)))