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 1d8b9ac70c
commit 983a1ec4dd
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