diff directive.h @ 95:1c0575f7dd46

Don't crash printing the commandline place.
author David A. Holland
date Mon, 10 Jun 2013 23:33:15 -0400
parents 76c114899f63
children a2c2fe8dbea3 d6e6b3940780
line wrap: on
line diff