aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Drop ChangeLogs in favour of commit messagesJustin Lecher2016-01-071-23/+0
* Convert all $Header$ to $Id$ tags as it has be done in gentoo.gitJustin Lecher2015-08-171-1/+1
* clean upChristoph Junghans2014-09-161-1/+3
* multiple move to EAPI=5 and regression fixesJonathan-Christofer Demay2014-06-221-3/+12
* multiple version bumpsJonathan-Christofer Demay2014-06-221-17/+4
* sci-mathematics/alt-ergo: fix bug #479994: move sources to my dev spaceJauhien Piatlicki2014-06-161-1/+7
* sci-mathematics/alt-ergo: version bumpAndrew Savchenko2013-08-251-0/+7
* sci-mathematics/alt-ergo: Move to EAPI=5; clean quoting and ebuild syntax and...Justin Lecher2013-03-031-0/+4
* sci-mathematics/alt-ergo: initial commitJonathan-Christofer Demay2013-01-141-0/+8