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
/
pkg
/
pkg.ml
blob: 1a04c2b47ef5edf343398867c1266eddbbb7cb2a (
plain
)
1
2
#
use
"topfind"
#
require
"topkg-jbuilder.auto"