diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-10-03 00:35:11 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-10-03 00:35:11 +0200 |
commit | 1e721a413f1d4fc7f7f4e1e691a0a37168f3b302 (patch) | |
tree | 8cee8f8ab76296d324ddc9a371b0f2bacf09f4b7 | |
parent | f3820421a24ca9b655167b8cb791a9f4eb781cd2 (diff) |
Add a .dir-locals.el
-rw-r--r-- | .dir-locals.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.dir-locals.el b/.dir-locals.el new file mode 100644 index 0000000..c4cfc41 --- /dev/null +++ b/.dir-locals.el @@ -0,0 +1 @@ +((nil . ((compile-command . "./make")))) |