aboutsummaryrefslogtreecommitdiff
path: root/mariadb-server
diff options
context:
space:
mode:
authorYuchen Pei <id@ypei.org>2023-06-19 11:19:19 +1000
committerYuchen Pei <id@ypei.org>2023-06-19 22:41:03 +1000
commit06914aff2b0011d41bc50447965a8d7c6ef52c9b (patch)
tree278047a8c1c02347d5cf7a0119ac4cc373e3e191 /mariadb-server
parentf06c1c12456a598b7007a6ef08306051d0d49064 (diff)
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
Diffstat (limited to 'mariadb-server')
-rw-r--r--mariadb-server/storage/spider/.dir-locals.el12
1 files changed, 12 insertions, 0 deletions
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))))