Add option -variations to control variation-tree walking
authorH.G. Muller <h.g.muller@hccnet.nl>
Mon, 11 Oct 2010 18:52:10 +0000 (20:52 +0200)
committerArun Persaud <arun@nubati.net>
Sat, 16 Oct 2010 02:24:48 +0000 (19:24 -0700)
commitbc0628d5ac92e6d7a5c86df1a062b70c05b07c44
treeedb8400fd421532432c05c18f5f06301b73ddb03
parent8223cc9b77ceae240456d267124c2765e2c15f50
Add option -variations to control variation-tree walking

Just so that users can switch it off if the find it annoying.
args.h
backend.c
common.h