projects / software / mumi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 404e8e0) | patch
scripts: Add support for "--fetch" option.
authorRicardo Wurmus <rekado@elephly.net>
Sun, 21 Jul 2019 10:14:00 +0000 (12:14 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 21 Jul 2019 11:11:39 +0000 (13:11 +0200)
commitcaa127d37e9e682a461b0d628b58eb80e074c792
tree1825f8cf41169135c6b9b5966226d88c4750480btree | snapshot
parent404e8e072c131e51c1ac4cec0889668d1d187d23commit | 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".
mumi/config.scm.in diff | blob | history
scripts/mumi.in diff | blob | history
Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.