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 /assets/img | |
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 'assets/img')
0 files changed, 0 insertions, 0 deletions