tree f3c9b525c8ac432a42218d1d03c33980370f6f2b
parent 7389279dcd309d28df72298b0707645496cb86d7
author Matteo Scandolo <teo@opennetworking.org> 1512157785 -0800
committer Matteo Scandolo <teo@opennetworking.org> 1512165058 +0000

Removing the no_sync options from XOSGuiExtensions as it's not working

Change-Id: I75bdbabbc0484b1e75c1966f436fb41fd5eb2051