diff options
| author | w0rp <devw0rp@gmail.com> | 2018-04-08 18:10:00 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-04-08 18:10:00 +0100 |
| commit | 1123669839c1656deb20f433fc672ca0abdda705 (patch) | |
| tree | 462f84ae6933029e7c977c1e0e4fea94ed8585d2 /.gitignore | |
| parent | f9ae58849a8b465e367ed311f0506bae2a537a62 (diff) | |
| download | ale-1123669839c1656deb20f433fc672ca0abdda705.zip | |
Close #1315 - Make the vint executable configurable
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions