projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58c0043) | patch
Changing spaces to tabs in Makefile.
authorTim King <taking@google.com>
Sun, 23 Apr 2017 20:05:10 +0000 (13:05 -0700)
committerTim King <taking@google.com>
Sun, 23 Apr 2017 20:05:10 +0000 (13:05 -0700)
commita478abedb8f9ef7522e5f65051a1da9c8a181037
treefbedab84b9ed24d0dfd69f130cc1981ca88b00b7tree
parent58c004370561c582a090020113d8781b2ff6ac42commit | diff
Changing spaces to tabs in Makefile.
test/regress/regress0/sets/Makefile.am diff | blob | history