diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-23 07:45:45 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-23 07:45:45 +0200 |
commit | 888182e2d33b420ee3ae03f8c7b1a4f389ff57e9 (patch) | |
tree | ae3e737171720c3e994a043d4b37d0f0323d15f6 /assets/js/mumi.js | |
parent | 6da9ed7d2571dd624aad44530a16afcff1e0e90f (diff) |
html: Generate only short issue URLs.
Diffstat (limited to 'assets/js/mumi.js')
0 files changed, 0 insertions, 0 deletions