projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2c2f12b
)
Remove clang-format options introduced in version 5.0.
author
Mathias Preiner
<mathias.preiner@gmail.com>
Tue, 24 Oct 2017 20:46:05 +0000
(13:46 -0700)
committer
Mathias Preiner
<mathias.preiner@gmail.com>
Tue, 24 Oct 2017 20:46:05 +0000
(13:46 -0700)
.clang-format
patch
|
blob
|
history
diff --git
a/.clang-format
b/.clang-format
index 485d65f21af66b00277dbb3dd39cba6e5a9d21eb..cf788cb6b7ebd23c0313c5d7ec9c2df6280f56a3 100644
(file)
--- a/
.clang-format
+++ b/
.clang-format
@@
-14,9
+14,6
@@
BraceWrapping:
AfterUnion: true
BeforeCatch: true
BeforeElse: true
- SplitEmptyFunction: false
- SplitEmptyNamespace: false
- SplitEmptyRecord: false
BreakBeforeBraces: Custom
...