comparison scripts/stop_running.sh @ 237:048b7a4dc841

Minor fixes
author Giulio Moro <giuliomoro@yahoo.it>
date Sun, 10 Apr 2016 12:23:36 +0200
parents 3ada83df91a5
children 8329f234d914
comparison
equal deleted inserted replaced
236:cb47043c8c28 237:048b7a4dc841