diff options
author | Urbain Vaes <urbain@vaes.uk> | 2020-06-17 11:32:14 +0200 |
---|---|---|
committer | Urbain Vaes <urbain@vaes.uk> | 2020-06-17 11:32:14 +0200 |
commit | e59f7de19940b3b2740be7464f97902fe6ef7179 (patch) | |
tree | b7006909d360ee30c06268b4ce5f9675dc47428b /.mrconfig | |
parent | f63f95f7c7ce0444b1b442951ad96cf908ac5058 (diff) |
Minor changes
Diffstat (limited to '.mrconfig')
0 files changed, 0 insertions, 0 deletions