diff python/hgrc.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 bb6e21338c5c
children a5a339b7fd82
line wrap: on
line diff