devops: Replace Concept Index with Binding Index.
authorMatt Birkholz <matt@birchwood-abbey.net>
Mon, 19 Feb 2018 01:18:25 +0000 (18:18 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Mon, 19 Feb 2018 01:18:25 +0000 (18:18 -0700)
commit2e6c069036f7765c4d912c9766fe2b2262a6116d
tree4de386d1e6989d3327c32827b6a805a04f6bdcc9
parent05eb216817119f51c8598ecd1af1aca6585baef8
devops: Replace Concept Index with Binding Index.
src/devops/devops.texi