diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-21 12:14:00 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-21 13:11:39 +0200 |
| commit | caa127d37e9e682a461b0d628b58eb80e074c792 (patch) | |
| tree | 1825f8cf41169135c6b9b5966226d88c4750480b /configure.ac | |
| parent | 404e8e072c131e51c1ac4cec0889668d1d187d23 (diff) | |
scripts: Add support for "--fetch" option.
* scripts/mumi.in (%options): Recognize "fetch" option.
(%default-options): Set default for "fetch".
* mumi/config.scm.in (%config): Remove extraneous quotes from "lists"
and "packages".
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions