diff options
author | Mathieu Othacehe <othacehe@gnu.org> | 2020-10-14 18:53:31 +0200 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-10-14 18:53:31 +0200 |
commit | a0e70b9d51812e1f8a22ef6bb0d1524c504c7324 (patch) | |
tree | 0d44197dcf1d72777832e1c492ff2b70ab59e08e /.dir-locals.el | |
parent | 38ee2c5b5b21404f383fc5066af8141785676e56 (diff) | |
download | cuirass-a0e70b9d51812e1f8a22ef6bb0d1524c504c7324.tar cuirass-a0e70b9d51812e1f8a22ef6bb0d1524c504c7324.tar.gz |
Remove unused procedure.
* src/cuirass/base.scm (cancel-old-builds): Remove it.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions