aboutsummaryrefslogtreecommitdiff
path: root/.clangd
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@gmail.com>2026-06-17 09:05:21 +0200
committerFelix Morgner <felix.morgner@gmail.com>2026-06-17 09:13:11 +0200
commit9c09097156dc70315364d27e61daef19b2844139 (patch)
tree6829c5a52dde09dab3447f39e9e754c208dbe3f4 /.clangd
downloadttwhy-9c09097156dc70315364d27e61daef19b2844139.tar.xz
ttwhy-9c09097156dc70315364d27e61daef19b2844139.zip
initial commit
Diffstat (limited to '.clangd')
-rw-r--r--.clangd11
1 files changed, 11 insertions, 0 deletions
diff --git a/.clangd b/.clangd
new file mode 100644
index 0000000..459d0ea
--- /dev/null
+++ b/.clangd
@@ -0,0 +1,11 @@
+CompileFlags:
+ Remove:
+ - -fcondition-coverage
+Diagnostics:
+ UnusedIncludes: Strict
+ MissingIncludes: None
+Documentation:
+ CommentFormat: Doxygen
+Style:
+ AngledHeaders: ".*"
+ QuotedHeaders: "$^" \ No newline at end of file