diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:43:47 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:43:47 +0200 |
| commit | 936c56b877473dd6638897887aed3b0092d4ffa5 (patch) | |
| tree | 8d95168bc79b81a23053cd11203c7136f77fc072 /scripts/mumi.in | |
| parent | 309b03b8177672b5f3718914c2200ec0fffc2f6c (diff) | |
messages: Remove bug-id->mbox-file.
Diffstat (limited to 'scripts/mumi.in')
0 files changed, 0 insertions, 0 deletions