diff options
| author | Angus Gibson <angus.gibson@anu.edu.au> | 2015-12-10 09:12:21 +1100 |
|---|---|---|
| committer | Angus Gibson <angus.gibson@anu.edu.au> | 2015-12-10 09:28:49 +1100 |
| commit | 626dc1f0bdd5a7717fb5df3ee41a10ea2fcff200 (patch) | |
| tree | 775db5656d1ea309e83f8ea17b4de8d88b4edade /conf/gitignore/Coq | |
| parent | fa5e372f7553a4ac9eea1e183ecfc526edb52a77 (diff) | |
| download | gitea-626dc1f0bdd5a7717fb5df3ee41a10ea2fcff200.tar.gz gitea-626dc1f0bdd5a7717fb5df3ee41a10ea2fcff200.zip | |
Reword messages for PR auto merging (#2117)
Diffstat (limited to 'conf/gitignore/Coq')
0 files changed, 0 insertions, 0 deletions