diff options
author | Pat Hawks <pat@pathawks.com> | 2017-08-24 17:31:09 -0500 |
---|---|---|
committer | Pat Hawks <pat@pathawks.com> | 2017-08-24 17:32:56 -0500 |
commit | 96b4329d58e7d13982e9fdcf458ab98ad0b6c07a (patch) | |
tree | 5db222f7375dad008138069abf21b82c81fc07c6 /proofs/lfsc_checker/.gitignore | |
parent | 27f0116e05c7448c14ba2527d1269806d32dd923 (diff) |
Test Java API on CI
Diffstat (limited to 'proofs/lfsc_checker/.gitignore')
0 files changed, 0 insertions, 0 deletions