swh:1:snp:a009335c9ad61a15b4ffe398f445dd601942b68c
Raw File
Tip revision: 80dba4735486a73679e8cfa43f8492b6f9e641f2 authored by Pierre-Yves Strub on 07 September 2022, 15:56:54 UTC
[while (phl, >=)]: be more restrictive on the variant delta lower-bound
Tip revision: 80dba47
.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