"make distclean" didn't remove all necessary files
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 31 Oct 2001 18:04:27 +0000 (18:04 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 31 Oct 2001 18:04:27 +0000 (18:04 +0000)
commitb58938b007e19099e5d6f2a610e9a4428f0afced
tree5a2d5316c8a61b0cad75171e43c052f579446b7b
parent8c33411c58487a9fcb761c3367ce78d38edc07e3
"make distclean" didn't remove all necessary files
check/Makefile.am
ginsh/Makefile.am