aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Convert all $Header$ to $Id$ tags as it has be done in gentoo.gitJustin Lecher2015-08-171-1/+1
* sci-mathematics/why3-0.83: Cleanup ebuildMarius Brehler2015-02-081-12/+16
* drop autotools.eclassChristoph Junghans2014-09-151-1/+1
* Several DESTDIR fixesJonathan-Christofer Demay2014-07-191-3/+4
* multiple move to EAPI=5 and regression fixesJonathan-Christofer Demay2014-06-221-1/+1
* multiple version bumpsJonathan-Christofer Demay2014-06-221-0/+55