git://git.onelab.eu / plcrt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c28b79b)
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)
shorter polling period for faster sync
remove attempt to install removed file


No differences found
plcrt