tree 24f39702aec602cda60bc59987f8d26c50e7ccf2
parent 4e1ae2b72b41f87024798e6f09463cdfa453e31c
parent 6b4ac16fdf242fdf86ec4cd1d5682035a4a1b17f
author David Pursehouse <dpursehouse@collab.net> 1535413244 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1535413244 +0000

Merge changes I6b261f98,I183548a8,I522966af,If178e387

* changes:
  rest-api-config.txt: Fix monospace `plugin`
  Document theme.* config options as GWT-only
  GetServerInfo: Remove arguments from instance methods
  GetServerInfo: Remove unnecessary MalformedURLException