diff options
| author | Mathieu Lirzin <mthl@gnu.org> | 2016-07-26 16:11:02 +0200 |
|---|---|---|
| committer | Mathieu Lirzin <mthl@gnu.org> | 2016-07-27 14:17:09 +0200 |
| commit | 719c12686372142be6fe9de198999b527ba50b16 (patch) | |
| tree | c38c88008c005368f39442f137682cc74eb47909 /bin | |
| parent | 67f074335fa4f0f6ac40ceb8bbf0fc60ecc8ee71 (diff) | |
| download | cuirass-719c12686372142be6fe9de198999b527ba50b16.tar cuirass-719c12686372142be6fe9de198999b527ba50b16.tar.gz | |
database: Remove 'db-delete-evaluation' procedure.
* src/cuirass/database.scm (db-delete-evaluation): Delete.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions