diff scripts/set_startup.sh @ 302:b26e7c61e3b6 prerelease

Makefile can now stop processes 'make stop'
author Giulio Moro <giuliomoro@yahoo.it>
date Fri, 27 May 2016 17:28:24 +0100
parents a11e23f4e6af
children abd7795dad5d
line wrap: on
line diff