.dir-locals.el
author Oleksandr Gavenko <gavenkoa@gmail.com>
Fri, 14 Oct 2011 00:52:40 +0300
changeset 1035 2e8f84478a07
parent 899 7b4265c8d324
child 2191 4f3fe2b5a26a
permissions -rw-r--r--
Isabelle.

(
 (nil . (
         (fill-column . 80)
         ) )
 )