add --no-pencil option to turn off pencil specific features
commit595e18dca6b43d12cdd00c64b8066f9c15d3fd61
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 9 Apr 2015 09:09:21 +0000 (9 11:09 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 9 Apr 2015 09:09:21 +0000 (9 11:09 +0200)
tree4844ab84ced215e6f756c0c400695ef132d86743
parentd4d60a67e77b6edf6a9e9f1b897739f4790ee141
add --no-pencil option to turn off pencil specific features

Requested-by: Riyadh Baghdadi <baghdadi.m.riyadh@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
expr.c
options.c
options.h
pet.cc
scan.cc