diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:59:27 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:59:27 +0200 |
| commit | cff8dde9a5ed82f1a3084ca7b3f1e22c4701a438 (patch) | |
| tree | 53e4a690f3b25c39b4ab3e6e65d5868e0d606526 /scripts/mumi.in | |
| parent | a5e068e3fb906d1e09e8581cc7d5016f78e4572c (diff) | |
mumi: Move bug-id->log-file to (mumi debbugs).
Diffstat (limited to 'scripts/mumi.in')
0 files changed, 0 insertions, 0 deletions