tonio a86d2a8615 Add coqide option description		2007-01-17 11:15:33 +00:00
..
mk.conf	change the default user/group for dbus to something <=8 chars since some systems (eg solaris) need that. Addresses PR/34127	2007-01-16 23:27:51 +00:00
obsolete.mk	For backwards compatibility ...	2006-04-07 00:29:52 +00:00
options.description	Add coqide option description	2007-01-17 11:15:33 +00:00