diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 12:02:52 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 12:02:52 +0200 |
commit | 9b3225121a30f10fd250801702f94c345f799b7b (patch) | |
tree | c3b1b879a6136c4cb0c3db04f5540fb0cb4d4311 /scripts/mumi.in | |
parent | 8a0748bb55a5f3b702d025fd0f1b015ff967441e (diff) |
view/html: Update CSS timestamp.
Diffstat (limited to 'scripts/mumi.in')
0 files changed, 0 insertions, 0 deletions