diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-05-22 14:09:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 16:09:54 -0500 |
| commit | 5c8601e638fcbfcd29eceeea4f83a0c1ca578316 (patch) | |
| tree | 379a67335b139a8eff13307e3ea3265451edce89 /.clang-format | |
| parent | 0b49b88e4d1c299a7cd662cd2221fd826b5bc972 (diff) | |
CaDiCaL: Clean up initialization on creation. (#4516)
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions