gerrit/gerrit-plugin-gwtui
David Ostrovsky 70e4a9024a Rename AccountPreferencesInfo to GeneralPreferences
Change-Id: I05a0ad236b635dd707f7d1997d8943b3f39d3864
2016-01-25 08:22:19 +01:00
..
src/main Rename AccountPreferencesInfo to GeneralPreferences 2016-01-25 08:22:19 +01:00
BUCK Buck: Move gwt-dev transitive deps to first order dependency 2015-10-18 19:01:42 +02:00
pom.xml Set version to 2.13-SNAPSHOT 2015-11-09 21:44:27 +00:00