Force a non-lazy run if global.ini has changedmasterv0.23
commitc8a9f5113ad1237445cc6143e07960f06cc91759
authorManuel Quiñones <manuel.por.aca@gmail.com>
Mon, 12 Oct 2015 21:13:53 +0000 (12 18:13 -0300)
committerManuel Quiñones <manuel.por.aca@gmail.com>
Mon, 12 Oct 2015 21:13:53 +0000 (12 18:13 -0300)
treef86977afb3a9ee08bd5648ec3d40968e10a6d25a
parentb119730ecd69ad74eaea487bcf0aef9055c9c35d
Force a non-lazy run if global.ini has changed
ppg-pullapply