diff options
author | Tim King <taking@google.com> | 2015-11-12 04:23:08 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2015-11-12 04:23:08 -0800 |
commit | 304e0f3eb0fac012a3aac9ec02918f1e4616bde7 (patch) | |
tree | 1b29a9c02985b2443feb7991ac4226d5681af005 /src/theory/options_handlers.h | |
parent | ada1fc44c9b5b8746a2e1e4046032282149768b5 (diff) |
Updating the contrib/new-theory script and travis to use the new Makefile.theories script.
Diffstat (limited to 'src/theory/options_handlers.h')
0 files changed, 0 insertions, 0 deletions