comparison runpmd.sh @ 3566:b0d192f86f34

more work on ci removal
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 01 Sep 2011 09:43:10 +0200
parents 4aa80ca3dbec
children cda0630a8640
comparison
equal deleted inserted replaced
3565:b3f0f8a01ca2 3566:b0d192f86f34