diff options
author | morrifeldman <morrifeldman@gmail.com> | 2018-07-25 15:53:02 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-25 15:53:02 -0400 |
commit | 845e588b71b8d21fe19c6b04c890cff26419a0a9 (patch) | |
tree | aef8868b19289554dc350f456c4636fc8e429809 /test/test_ale_var.vader | |
parent | 0012c78b024354686dffd693d135686378fecdc5 (diff) | |
download | ale-845e588b71b8d21fe19c6b04c890cff26419a0a9.zip |
Fix joker finding .joker file
Add --working-dir option so joker can find a .joker file in the project root directory.
Diffstat (limited to 'test/test_ale_var.vader')
0 files changed, 0 insertions, 0 deletions