gerrit/gerrit-plugin-gwtui
David Ostrovsky 3b4019d1ad Buck: Adjust to upstream change: "default java targeted to be Java 7"
60efceb upstream change flips the default version of java targeted to be
Java 7 rather than the EoL'd Java 6.  Now we don't need to overwrite
Buck's own python methods to enforce Java 7 to be the default Java version.

[1] 60efceb523

Change-Id: I8735dc0bec74c55c88ddcd07fe035536e7f0ceff
2014-04-22 08:08:30 +02:00
..
src/main Allow plugins to refresh Gerrit's menu bar 2014-04-15 11:26:55 +02:00
BUCK Buck: Adjust to upstream change: "default java targeted to be Java 7" 2014-04-22 08:08:30 +02:00