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/command_callback/test_idris_command_callbacks.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/command_callback/test_idris_command_callbacks.vader')
0 files changed, 0 insertions, 0 deletions