diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-08-10 13:46:55 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-08-10 13:46:55 +0200 |
| commit | e11f17226522f6b7c347f8001a50a734d6c5df76 (patch) | |
| tree | 708a27aea85add2aae9a978f6272612fc1c1e167 /.dir-locals.el | |
| parent | 1aeea2f97f36ffe3274f8684ba3ae0c932f1f8ff (diff) | |
| download | cuirass-e11f17226522f6b7c347f8001a50a734d6c5df76.tar cuirass-e11f17226522f6b7c347f8001a50a734d6c5df76.tar.gz | |
Separate web interface.
* bin/cuirass.in (show-help): Document "--web" option.
(%options): Default to running without web interface.
(main): Either run the web interface or build packages.
* README: Mention the "--web" option.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions