projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3ecadd3 0d165ab)
Merge pull request #93 from timothy-king/clang-format
authorTim King <taking@cs.nyu.edu>
Sat, 1 Oct 2016 22:12:20 +0000 (15:12 -0700)
committerGitHub <noreply@github.com>
Sat, 1 Oct 2016 22:12:20 +0000 (15:12 -0700)
Adding a clang format file for the project.


Trivial merge