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

big squish

Browse source
This commit is contained in:
Swrup 2024-05-29 19:16:48 +02:00
parent fae867b35b
commit 55d2abefb4
124 changed files with 6931 additions and 8393 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