projects / software / mumi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6f1ecf) | patch
guix: Use mumimu instead of mu.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 23 Jul 2019 11:17:40 +0000 (13:17 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 23 Jul 2019 11:17:40 +0000 (13:17 +0200)
commitfd45c968a66b9808ed6b65455cafa596203a2237
tree6a651f79661d15bf5cc370921a1a7fc5e73a77f2tree | snapshot
parente6f1ecfd88cb4e9a9e6a31b9161ffb48e36e9a44commit | diff
guix: Use mumimu instead of mu.

* guix.scm (mumimu): New variable.
* configure.ac: Check for mumimu.
* mumi/config.scm.in (%config): Update placeholder for mu-executable.
configure.ac diff | blob | history
guix.scm diff | blob | history
mumi/config.scm.in diff | blob | history
Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.