diff options
| author |   Mark Wright <gienah@gentoo.org> | 2014-06-22 13:52:30 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2014-06-22 13:52:30 +0000 |
| commit | eb80c0f023f0f2673b858112a022fe279bd7ae51 (patch) | |
| tree | 45d5035aa7e759e0ec7a17851f1bc3b45731e37f /games-action | |
| parent | keyword ~ia64 wrt bug #493156 (diff) | |
| download | historical-eb80c0f023f0f2673b858112a022fe279bd7ae51.tar.gz historical-eb80c0f023f0f2673b858112a022fe279bd7ae51.tar.bz2 historical-eb80c0f023f0f2673b858112a022fe279bd7ae51.zip | |
Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify the classpath to javadoc. Use the javadoc -Xdoclint:none option for java 1.8 and later versions.
Package-Manager: portage-2.2.10/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'games-action')
0 files changed, 0 insertions, 0 deletions