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:
pena 2022-02-19 22:13:45 +01:00 • committed by Swrup
parent 9fd4d9adcf
commit eaf58ec580
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)))