diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2016-01-05 00:12:44 +0000 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2016-01-05 00:12:44 +0000 |
| commit | c7d8141ba1e62b3bfeba8a43c220cce8332a72a2 (patch) | |
| tree | 23f09c425d9761afa2d4f9eee2b83742186253d5 /.mr/mrconfig | |
| parent | 2c5899d635d9aa8dc8daf742fa036c3505980726 (diff) | |
[.mrconfig] Improve behaviour with skip
Diffstat (limited to '.mr/mrconfig')
0 files changed, 0 insertions, 0 deletions