summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--ChangeLog564logplain
-rw-r--r--Manifest2138logplain
-rw-r--r--kodkod-1.5.2.ebuild2736logplain
-rw-r--r--metadata.xml798logplain