diff options
author | Antoine Gagné <gagnantoine@gmail.com> | 2019-07-22 09:50:16 -0400 |
---|---|---|
committer | Antoine Gagné <gagnantoine@gmail.com> | 2019-07-22 09:50:16 -0400 |
commit | c675212dddbe3cb7288c28d8d86769c5ccc3a8c8 (patch) | |
tree | 250b73e5bec29083d4b74929c869f3b0aac2cfaf /doc/ale.txt | |
parent | aae6d30b1ec135e37ec3bea1885d161c6174572b (diff) | |
download | ale-c675212dddbe3cb7288c28d8d86769c5ccc3a8c8.zip |
Fix bug with detection of the PLT
Previously, it did not detect the PLT inside the `_build` directory and
would always default to the default PLT or the one from the `kerl` tool.
Diffstat (limited to 'doc/ale.txt')
0 files changed, 0 insertions, 0 deletions