projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c660bc2) | patch
Fix indentation for disabled Java tests.
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 29 Aug 2017 23:10:30 +0000 (16:10 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Tue, 29 Aug 2017 23:10:30 +0000 (16:10 -0700)
commit6642b52b199d658a838d1c1bb26c02e732c4e4d6
treedd73d4059fdf0953447a1fa3973e7df637239e17tree
parentc660bc233f08af7681045b7237424a34aecb2237commit | diff
Fix indentation for disabled Java tests.
.travis.yml diff | blob | history