aboutsummaryrefslogtreecommitdiff
path: root/.mumi
ModeNameSize
-rw-r--r--config122logplain
e='2019-02-10 23:25:01 +0100'>2019-02-10artwork: Update snapshot to e951905.Ludovic Courtès 2018-11-05artwork: Clone over HTTPS.Ludovic Courtès 2017-06-07artwork: Use a descriptive name for the source directory.Leo Famulari