Skip to main content

Browse the archive

Revision fa8b38bf54c6bf09af2bff339334e571142c73cb authored by Benjamin Gregoire on 07 December 2019, 09:46:33 UTC, committed by Benjamin Gregoire on 07 December 2019, 09:46:33 UTC 
add simplification rule for oget_some, oget_none
1 parent 89e35d1
Raw File
.dir-locals.el 
((tuareg-mode .
   ((require-final-newline . t)
    (c-basic-offset . 2)
    (tab-width . 2)
    (indent-tabs-mode . nil)
    (eval . (add-hook 'write-contents-functions 'delete-trailing-whitespace)))))
 (easycrypt-mode .
   ((require-final-newline . t)
    (indent-tabs-mode . nil)))
back to top