aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins
ModeNameSize
-rw-r--r--.dir-locals.el287logplain
d---------btauto240logplain
d---------cc347logplain
d---------derive199logplain
d---------extraction1744logplain
d---------firstorder544logplain
d---------fourier246logplain
d---------funind864logplain
d---------ltac1967logplain
d---------micromega1159logplain
d---------nsatz417logplain
d---------omega358logplain
d---------quote157logplain
d---------romega327logplain
d---------rtauto331logplain
d---------setoid_ring1155logplain
d---------ssr1086logplain
d---------ssrmatching180logplain
d---------syntax568logplain
d---------xml34logplain