diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2016-09-15 22:50:42 +0200 |
|---|---|---|
| committer | Mathieu Lirzin <mthl@gnu.org> | 2016-09-23 16:16:29 +0200 |
| commit | fca42b010e56532fded536534ccb15b078a33e77 (patch) | |
| tree | 39cd0215f7b52c3ef97477fa8c15f9640d9585b9 /.dir-locals.el | |
| parent | ff7c3a11f2b32336cb185479ae7ab0a864644715 (diff) | |
| download | cuirass-fca42b010e56532fded536534ccb15b078a33e77.tar cuirass-fca42b010e56532fded536534ccb15b078a33e77.tar.gz | |
cuirass: Optionally support using of substitutes.
* bin/cuirass.in (options): Add --use-substitutes.
(show-help): Idem.
(main): Set %use-substitutes?.
Signed-off-by: Mathieu Lirzin <mthl@gnu.org>
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions