gambitproject/gambit — pull request #47 by hokein (2012-12-03 13:00:35+00:00)
Title: Remove deprecated use of AddTool in dlnfglogit.cc file

Fix [issue#42](https://github.com/gambitproject/gambit/issues/42)