diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2020-02-05 01:14:40 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2020-02-05 01:14:40 +0100 |
| commit | 65fe9e7a4184003d64a131a93e28461dce82568e (patch) | |
| tree | 873ad6b4d588eca61ef506e91dcad8386b16f662 /OMakefile | |
| parent | 6a3b7da6a16a9d3a1f8ea3705d019ef5181ef2e5 (diff) | |
| download | context-mirror-bot-65fe9e7a4184003d64a131a93e28461dce82568e.tar.gz | |
set mirror user for Gitlab
Diffstat (limited to 'OMakefile')
0 files changed, 0 insertions, 0 deletions