devops: Update documentation slightly. Downcase a couple symbols.
authorMatt Birkholz <matt@birchwood-abbey.net>
Thu, 4 Jul 2019 20:33:15 +0000 (13:33 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Thu, 4 Jul 2019 20:33:15 +0000 (13:33 -0700)
commitb0338709dee4388b1b3fb858678ea2dcab942cd3
treed9ab4fb29f0ad1640645999806993956c4698be2
parentb6de4152d231ffd9e4d9071e523d8dba2b310d6c
devops: Update documentation slightly.  Downcase a couple symbols.
src/devops/README
src/devops/optiondb.scm
src/devops/pucked.texi