aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
ModeNameSize
-rw-r--r--ProofGeneral.patch1223logplain
-rw-r--r--ProofGeneral.spec2655logplain
-rw-r--r--README358logplain
-rw-r--r--announce1476logplain
d---------isa / multiple35logplain
d---------lego113logplain
-rw-r--r--notes.txt454logplain