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

fmt

Browse source
This commit is contained in:
Swrup 2022-01-17 21:55:09 +01:00
parent 54b638ed20
commit 3b8e1c26d6
2 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.ocamlformat
View file

@ -1,4 +1,4 @@
version=0.19.0
version=0.20.1
align-cases=false
align-constructors-decl=false
align-variants-decl=false