diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-29 16:29:51 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-29 16:29:51 -0700 |
commit | 75edd5ebf50bc7b7bc7184b5335fbecc2844ff2a (patch) | |
tree | 17078f1e982e61057af327b4a03410631f5aa204 /src/printer/tptp/tptp_printer.h | |
parent | 395aaff1ed21b37b49cba1a453a26effb2f4ca59 (diff) |
Improve compile timesfasterCompilation
Diffstat (limited to 'src/printer/tptp/tptp_printer.h')
0 files changed, 0 insertions, 0 deletions