devops/devops: Add tag-options. Make only public (devops) bindings.
authorMatt Birkholz <matt@birchwood-abbey.net>
Sat, 17 Mar 2018 19:59:20 +0000 (12:59 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Sat, 17 Mar 2018 19:59:20 +0000 (12:59 -0700)
commit74456e4a1689229120f7477d10f6e7d04ff09415
tree9c5c10264de680d00d06fb2d553c332f45a4313d
parenta4ec6e8fe02ef635ed91e648433b5e00debb38fe
devops/devops: Add tag-options.  Make only public (devops) bindings.
src/devops/build.texi
src/devops/devops.pkg
src/devops/devops.scm