diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-05 15:53:00 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-05 15:53:00 +0200 |
| commit | 85db2c23baac71a7b5e9bec339ef4ba231046675 (patch) | |
| tree | ec66aefa8a503c73a301edc310dfba5aed863ea5 /scripts/mumi.in | |
| parent | 2725c7079bb85a78660149170f1d45dbeb5714ef (diff) | |
mumi: Add jobs.
Diffstat (limited to 'scripts/mumi.in')
0 files changed, 0 insertions, 0 deletions