diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-12-24 13:52:59 +0100 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-12-24 13:52:59 +0100 |
| commit | a2a1386b027dcbb2a0cfc9e73b9a0f6f0a6b6d7e (patch) | |
| tree | 911803f18fe79af816261d15f048841e89cc31e4 /configure.ml | |
| parent | dea75d74c222c25f6aa6c38506ac7a51b339e9c6 (diff) | |
Create pull request template.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions