diff scripts/stop_running.sh @ 334:ff98d79abf49 prerelease

Self-documenting help added to Makefile.
author Giulio Moro <giuliomoro@yahoo.it>
date Sun, 05 Jun 2016 02:30:32 +0100
parents 8fecfcbaf2f0
children 6e428d6b57ef
line wrap: on
line diff