diff scripts/stop_running.sh @ 290:cb9a80040150

Updated heavy render to latest Heavy API
author Giulio Moro <giuliomoro@yahoo.it>
date Sat, 21 May 2016 15:22:31 +0100
parents 3ada83df91a5
children 8329f234d914
line wrap: on
line diff