summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend13059logplain
-rw-r--r--Makefile7785logplain
-rw-r--r--Makefile.config955logplain
d---------asmcomp1972logplain
d---------bytecomp1075logplain
d---------byterun2040logplain
d---------config71logplain
d---------driver187logplain
d---------lex329logplain
d---------otherlibs63logplain
d---------parsing386logplain
d---------stdlib1723logplain
d---------test487logplain
d---------testasmcomp407logplain
d---------tools292logplain
d---------toplevel309logplain
d---------typing1228logplain
d---------utils544logplain
d---------yacc536logplain