diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-09-17 11:21:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-17 11:21:30 +0100 |
| commit | a4a4bba884bee9714fcfe70d049e0844ac288743 (patch) | |
| tree | 8088821e3811324d8eb88fbb5f6f2e3592b55cae /test/command_callback/test_idris_command_callbacks.vader | |
| parent | f9e99d81a4187a0d017d5db3aaa5c4bbfe3ecc54 (diff) | |
| parent | b7fcec4d177f99f56f543830c7b51f18c3b3a4a0 (diff) | |
| download | ale-a4a4bba884bee9714fcfe70d049e0844ac288743.zip | |
Merge pull request #1927 from jparise/thrift-includes-default
thrift: default thrift_thrift_includes to ['.']
Diffstat (limited to 'test/command_callback/test_idris_command_callbacks.vader')
0 files changed, 0 insertions, 0 deletions