christos c22e4ed8cd ptm is now mandatory, depends on pty, and can be disabled with -DNO_DEV_PTM		2004-06-18 15:02:29 +00:00
..
files.cesfic
GENERIC	ptm is now mandatory, depends on pty, and can be disabled with -DNO_DEV_PTM	2004-06-18 15:02:29 +00:00
majors.cesfic
Makefile.cesfic	Add the %MAKEOPTIONSAPPEND token at the end of the file, after the	2004-06-04 04:45:49 +00:00
std.cesfic