diff python/diffex.py @ 709:c24a1b531b7e

move isrunning to a shell script and kill killbyname since there is pkill nowadays
author Jeff Hammel <k0scist@gmail.com>
date Fri, 05 Sep 2014 14:55:11 -0700
parents be91c9fb3147
children 4adc11d68e3d
line wrap: on
line diff