diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:59:52 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:59:52 +0200 |
| commit | f7d53a0bb8cd2ae83c30c03b881e63119da7e76c (patch) | |
| tree | 44031b5cde8646f3db597673b1d1e2c013a46f55 /scripts/mumi.in | |
| parent | cff8dde9a5ed82f1a3084ca7b3f1e22c4701a438 (diff) | |
debbugs: Add extract-bug-numbers.
Diffstat (limited to 'scripts/mumi.in')
0 files changed, 0 insertions, 0 deletions