diff scripts/stop_running.sh @ 312:00725dfc1b87 prerelease

Decrufting: removed ancient DBOX_CAPE define from header files (not yet from PRU code)
author andrewm
date Fri, 27 May 2016 18:42:28 +0100
parents 8fecfcbaf2f0
children 6e428d6b57ef
line wrap: on
line diff