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
/
dune-project
blob: 3d8651a30cc2b7ebfe85b4c43681bf3cdd1ba5a5 (
plain
)
1
2
(lang dune 1.0) (name ppx_tools_versioned)