From: Tim King <taking@cs.nyu.edu>
Date: Sat, 1 Oct 2016 22:12:20 +0000 (-0700)
Subject: Merge pull request #93 from timothy-king/clang-format
X-Git-Tag: cvc5-1.0.0~6028^2~9
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c5510cf95afabcc59a0d99e1c8e3386e52238b1c;p=cvc5.git

Merge pull request #93 from timothy-king/clang-format

Adding a clang format file for the project.
---

c5510cf95afabcc59a0d99e1c8e3386e52238b1c