summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Add filemanip for sci-mathematics/agda-stdlib-0.7_pre20121118Mark Wright2012-11-181-0/+13