aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorClément Lassieur <clement@lassieur.org>2018-08-04 16:20:59 +0200
committerClément Lassieur <clement@lassieur.org>2018-08-04 16:33:59 +0200
commitdc27cb369c7bc358717e586262fdb2a7d509ff29 (patch)
treebd857aa8c68ab97ea3eb2c2d6c2f3eff1c2c127e /doc
parent4c044c658a6f7b40ca78b4d1c56ca225d62c1129 (diff)
downloadcuirass-dc27cb369c7bc358717e586262fdb2a7d509ff29.tar
cuirass-dc27cb369c7bc358717e586262fdb2a7d509ff29.tar.gz
database: Remove unused DB-FORMAT-BUILD procedure.
* src/cuirass/database.scm (db-format-build): Remove it.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions