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

JJ: Description from the destination commit:

Browse source 
~

JJ: Description from source commit:
~
This commit is contained in:
swrup 2025-11-30 11:13:40 +01:00
parent 6436561201
commit 1ce18f5ec8
10 changed files with 92 additions and 107 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.ocamlformat
View file

@ -2,7 +2,7 @@ version=0.28.1
exp-grouping=preserve
type-decl=sparse
break-infix=fit-or-vertical
break-collection-expressions=wrap
break-collection-expressions=fit-or-vertical
break-sequences=false
break-infix-before-func=false
dock-collection-brackets=true