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 /autoload | |
parent | f9ae58849a8b465e367ed311f0506bae2a537a62 (diff) | |
download | ale-1123669839c1656deb20f433fc672ca0abdda705.zip |
Close #1315 - Make the vint executable configurable
Diffstat (limited to 'autoload')
0 files changed, 0 insertions, 0 deletions