diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2018-07-11 01:17:45 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-07-11 01:17:45 +0200 |
| commit | e21d5813c2541c038996b2c406adfcd0dfff7493 (patch) | |
| tree | b44366f4312b99215698bc8e094bd2ee62abf23c /.gitignore | |
| parent | b14bcc6e37b19d765ad12586be4674d2b856080f (diff) | |
| download | context-mirror-bot-e21d5813c2541c038996b2c406adfcd0dfff7493.tar.gz | |
fix remote names
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions