diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2018-07-16 00:32:33 +0200 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2018-07-16 00:39:38 +0200 |
commit | e54c1dc3ad9bf28df44cd8aaca317c01b3846c70 (patch) | |
tree | 72758aeb3f8a1e2bf752eaf0dadac47e9761ece5 /OMakeroot | |
parent | d4a97e36f797d656b11a67abb7a48a443697c1b6 (diff) | |
download | context-mirror-bot-e54c1dc3ad9bf28df44cd8aaca317c01b3846c70.tar.gz |
overwrite existing config
Diffstat (limited to 'OMakeroot')
0 files changed, 0 insertions, 0 deletions