diff options
| author | Tim King <taking@google.com> | 2015-12-03 01:33:26 -0500 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2015-12-03 01:33:26 -0500 |
| commit | 507f14eef40b17c06db6f2e286786afeea95acda (patch) | |
| tree | 1847a82f658d5ce674d93b2a35404df277fb4ecd /src/parser/tptp/tptp_input.h | |
| parent | 2972e1c676899da6a85b1ddea4507d47e0066cd5 (diff) | |
Modifying the src/options/Makefile.am for travis.
Diffstat (limited to 'src/parser/tptp/tptp_input.h')
0 files changed, 0 insertions, 0 deletions