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

add depends

Browse source
This commit is contained in:
Swrup 2023-12-18 00:45:46 +01:00
parent 473954be07
commit 49b7a37597
126 changed files with 6991 additions and 8425 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.ocamlformat
View file

@ -1,4 +1,4 @@
version=0.24.1
version=0.27.0
assignment-operator=end-line
break-cases=fit
break-fun-decl=wrap