-
Pedro Gimeno authored
2003-04-17 Pedro Gimeno <usr352@wanadoo.es> * configure.in: Removed the plug-ins/tools/Makefile line that was left over when the tool plug-ins were removed.
657e9a73
To find the state of this project's repository at the time of any of these versions, check out the tags.