diff options
author | Tim King <taking@google.com> | 2015-11-23 20:38:32 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2015-11-23 20:38:32 -0800 |
commit | 90ebc5e036f122b6705b3dd2f703f40d39de7aac (patch) | |
tree | 3076f8e7fd4c16a8be265e78703644718d4c30ab /src/theory/booleans | |
parent | 8098d95adcbb65d2d76322316f5a10c996f0eb8d (diff) |
Switching travis over to using the containers infrastructure.
Diffstat (limited to 'src/theory/booleans')
0 files changed, 0 insertions, 0 deletions