diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-23 13:17:40 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-23 13:17:40 +0200 |
| commit | fd45c968a66b9808ed6b65455cafa596203a2237 (patch) | |
| tree | 6a651f79661d15bf5cc370921a1a7fc5e73a77f2 /VERSION | |
| parent | e6f1ecfd88cb4e9a9e6a31b9161ffb48e36e9a44 (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.
Diffstat (limited to 'VERSION')
0 files changed, 0 insertions, 0 deletions