summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Add github to remote-id in metadata.xmlJustin Lecher2015-06-063-8/+26
* Bump filemanip to 0.3.6.3Mark Wright2015-04-013-7/+41
* Drop trailing '.' from description.Sergei Trofimovich2014-07-253-9/+12
* Drop redundant '<maintainer>' field, leave only '<herd>'.Sergei Trofimovich2014-07-253-11/+11
* Add filemanip for sci-mathematics/agda-stdlib-0.7_pre20121118Mark Wright2012-11-183-1/+50
* Add filemanip for sci-mathematics/agda-stdlib-0.7_pre20121118Mark Wright2012-11-182-0/+12