Setting tag PLCRT-1.0-8 PLCRT-1.0-8
authorStephen Soltesz <soltesz@cs.princeton.edu>
Mon, 21 Sep 2009 17:00:47 +0000 (17:00 +0000)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Mon, 21 Sep 2009 17:00:47 +0000 (17:00 +0000)
commit7b1b288da82663b1ba1bbb95f85eb988035debac
tree009e4441b7cfc49c00ad7d9436c90c2d808c31b6
parentc28b79b02e9d773d0385050ad503d011eefaa024
Setting tag PLCRT-1.0-8
shorter polling period for faster sync
remove attempt to install removed file