Maxime Guerreiro 596a913f06 Rename the publishCommentsOnPush option in GWT ... Adjust documentation accordingly. PolyGerrit uses the sort name "Publish comments on push", and it was not possible to find this name in the documentation. Change-Id: Ib9797b43f4b2ac028dbbeab95287b34ec25de067		2018-04-09 09:02:13 +00:00
..
src	Rename the publishCommentsOnPush option in GWT	2018-04-09 09:02:13 +00:00
BUILD	Dissolve gerrit-common top-level directory	2017-10-31 11:02:36 -04:00