misc updates
tree1c2ab7ea1888aecb1b336a50ef0d2dc5806f7554
-rw-r--r-- 3971 .dir-locals.el
-rw-r--r-- 2255 .gitignore
-rw-r--r-- 0 Readme.org
drwxr-xr-x - gnu