index
:
ppx-tools-versioned
master
Debian dgit repo for package ppx-tools-versioned
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
.ocp-indent
blob: 324a3827647a969b823e5a01fb4abd4075697678 (
plain
)
1
2
match_clause=4 strict_with=auto