dev-java/tomcat-servlet-api: ppc64 stable wrt bug #718020
[gentoo.git] / dev-java / jmock / files /
2016-10-01 Robin H. Johnsonsys-block/btrace: Merge GitHub PR #1716
2016-08-08 James Le CuirotMerge remote-tracking branch 'github/pr/2027'
2016-08-05 Michael Mair-Keimb... dev-java/jmock: remove unused patch
2015-09-09 Michał GórnyMerge game-action/minetest: Version bump to 0.4.13
2015-08-28 Jauhien Piatlickix11-misc/sddm: merge remote-tracking branch 'a17r/sddm'
2015-08-28 Patrice Clementdev-java/jmock: Change the compilation logic. Fixes...
2015-08-09 Robin H. Johnsonproj/gentoo: Initial commit