diff options
| author | Jakob Kaivo <jkk@ung.org> | 2020-08-13 09:00:35 -0400 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2020-08-13 09:00:35 -0400 |
| commit | ef07878dae5a1a53293714da3f76f2063433b202 (patch) | |
| tree | 425b541bdc323b37cc53658ab0977f45dcfa16d8 /.gitignore | |
| parent | ebf84c5d3aca11cfe3f52ec15275150e26ac97fe (diff) | |
configure for UNGOL by default
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions