aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins
ModeNameSize
-rw-r--r--.dir-locals.el287logplain
d---------btauto240logplain
d---------cc347logplain
d---------derive199logplain
d---------extraction1784logplain
d---------firstorder544logplain
d---------fourier246logplain
d---------funind900logplain
d---------ltac2014logplain
d---------micromega1281logplain
d---------nsatz417logplain
d---------omega358logplain
d---------quote157logplain
d---------romega327logplain
d---------rtauto331logplain
d---------setoid_ring1155logplain
d---------ssr1086logplain
d---------ssrmatching180logplain
d---------syntax564logplain
d---------xml34logplain