diff options
| author | Yuchen Pei <id@ypei.org> | 2023-07-26 00:34:34 +1000 |
|---|---|---|
| committer | Yuchen Pei <id@ypei.org> | 2023-07-26 00:36:22 +1000 |
| commit | 77159c327aebc8374fcea2b8f95a7cba8f37745c (patch) | |
| tree | a08fac9025a4a4c1c6d43ed090e83de7f8b7d6b6 /mariadb-server/storage/spider/.dir-locals.el | |
| parent | b9ebb4a73ddcb08ed7afb28eb4fa7f0a920e2bae (diff) | |
Minor fixes for wiki and buildbot configs
Diffstat (limited to 'mariadb-server/storage/spider/.dir-locals.el')
0 files changed, 0 insertions, 0 deletions