Skip to main content

Browse the archive

Revision 666c7c604116842207ca4c2a7d69a083cc698cbc authored by François Dupressoir on 25 January 2016, 21:04:56 UTC, committed by François Dupressoir on 25 January 2016, 21:04:56 UTC 
Modernizing Drestrict and Dexcepted.
 
Updating standard lib.
We still need to make sure that Distr.Drestr and Distr.Dexcepted are not
used anywhere else. Then burn them down and dance on their ashes.
1 parent 11d8d1b
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