git://git.onelab.eu / plcrt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: 5909a16)
Setting tag PLCRT-1.0-7 PLCRT-1.0-7
authorStephen Soltesz <soltesz@cs.princeton.edu>
Sun, 20 Sep 2009 18:24:11 +0000 (18:24 +0000)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Sun, 20 Sep 2009 18:24:11 +0000 (18:24 +0000)
replace callplcsh with simpler scripts for syncing users


No differences found
plcrt