From 06914aff2b0011d41bc50447965a8d7c6ef52c9b Mon Sep 17 00:00:00 2001
From: Yuchen Pei <id@ypei.org>
Date: Mon, 19 Jun 2023 11:19:19 +1000
Subject: precision fixes

- Adding org-jira
- Also fixed getting builders in buildbot
- Adding gdb-mi and gud
- Adding gdb and shell configs
- Also mariadb dev related stuff
- A few more modes
- some more updates
---
 mariadb-server/storage/spider/.dir-locals.el | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 mariadb-server/storage/spider/.dir-locals.el

(limited to 'mariadb-server')

diff --git a/mariadb-server/storage/spider/.dir-locals.el b/mariadb-server/storage/spider/.dir-locals.el
new file mode 100644
index 0000000..644ec45
--- /dev/null
+++ b/mariadb-server/storage/spider/.dir-locals.el
@@ -0,0 +1,12 @@
+((c++-mode
+  . ((c-file-style . "maria-spider")
+     (comment-start . "/* ")
+     (comment-end . " */")
+     (comment-continue . "  ")
+     (comment-style . extra-line)))
+ (c-mode
+  . ((c-file-style . "maria-spider")
+     (comment-start . "/* ")
+     (comment-end . " */")
+     (comment-continue . "  ")
+     (comment-style . extra-line))))
-- 
cgit v1.2.3