devops: A parameter (plugin name) for devops:status, and filenames
authorMatt Birkholz <matt@birchwood-abbey.net>
Thu, 28 Dec 2017 19:36:57 +0000 (12:36 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Thu, 28 Dec 2017 19:36:57 +0000 (12:36 -0700)
commit0b606ee0ec4ccc5e15d1465e00e0d0516a4224a9
tree80a936e600d47cb755dc336a5ffb13732999722a
parent9f89a3ee1ac3c2713c464c55acfaf73a3f5c466d
devops: A parameter (plugin name) for devops:status, and filenames

in the lint messages, to make it easy to find the offender.
src/devops/build.texi
src/devops/devops.scm