espie 0e6f6f93bb Kill first component of BUILD_DEPENDS. ... Fix sawfish comment while I'm at it. `window manager for the X windows system'. Like DUH ! It's going to be a window manager for my microwave oven ?		2001-11-10 15:00:47 +00:00
..
files	Import of coq 7.0.	2001-09-22 14:24:31 +00:00
pkg	Import of coq 7.0.	2001-09-22 14:24:31 +00:00
Makefile	Kill first component of BUILD_DEPENDS.	2001-11-10 15:00:47 +00:00