Fix default gnetlist executable name to be "gnetlist"
commitd8be4844b96e768c3a872f17d79b89bf6a5c84d8
authorPeter Clifton <pcjc2@cam.ac.uk>
Tue, 23 Feb 2010 23:54:40 +0000 (23 23:54 +0000)
committerPeter Clifton <pcjc2@cam.ac.uk>
Tue, 23 Feb 2010 23:54:40 +0000 (23 23:54 +0000)
tree205d0e16f0a477e8ee02c60c0e10fd52d8c6dc35
parente4d4198e6e771c8bd019bc61c34342aa003a217a
Fix default gnetlist executable name to be "gnetlist"

The old value "defgnetlist" appears to have been a mistake.
src/main.c