-
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
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.