David Pursehouse 93dbaa2782 Fix the API build ...

In 28694a09c9 a conflict in the merge
from stable-2.8 was not resolved properly and the API build was broken.

Add back the missing part to fix the build.

Change-Id: I2b0295212631ffad0ba4b57c77b5935b8200d384

2013-12-06 09:48:11 +00:00

..

src/main

Enable GWT plugins to go to and refresh screens

2013-12-05 20:46:24 +01:00

BUCK

Fix the API build

2013-12-06 09:48:11 +00:00