summaryrefslogtreecommitdiff
path: root/COPYING
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-10-30 09:19:28 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-10-30 09:19:28 +0100
commit8a618322b12436dac6034817c596aa9fd433dd8d (patch)
tree9fa83ce1aabdef09ebf886b60881331180aff52f /COPYING
parentc88a7c006ef164015e5c3fb1544b8112bf6ececf (diff)
downloadcuirass-8a618322b12436dac6034817c596aa9fd433dd8d.tar
cuirass-8a618322b12436dac6034817c596aa9fd433dd8d.tar.gz
database: Add db-remove-specification.
* src/cuirass/database.scm (db-remove-specification): New procedure.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions