diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-10-30 09:19:28 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-10-30 09:19:28 +0100 |
| commit | 8a618322b12436dac6034817c596aa9fd433dd8d (patch) | |
| tree | 9fa83ce1aabdef09ebf886b60881331180aff52f /.gitignore | |
| parent | c88a7c006ef164015e5c3fb1544b8112bf6ececf (diff) | |
| download | cuirass-8a618322b12436dac6034817c596aa9fd433dd8d.tar cuirass-8a618322b12436dac6034817c596aa9fd433dd8d.tar.gz | |
database: Add db-remove-specification.
* src/cuirass/database.scm (db-remove-specification): New procedure.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions