diff --git a/docs/.dir-locals.el b/docs/.dir-locals.el new file mode 100644 index 000000000..89305ccd7 --- /dev/null +++ b/docs/.dir-locals.el @@ -0,0 +1 @@ +((org-mode (buffer-read-only . t)))