Rene Engelhard 92d67985ba remove useless license prompt for extensions		2010-09-15 14:06:36 +02:00
..
mediawiki	remove useless license prompt for extensions	2010-09-15 14:06:36 +02:00
prj	extensions_deliver.diff: Deliver extensions to the solver	2010-09-14 16:57:26 +02:00
makefile.pmk	changefileheader2: #i109125#: change source file copyright notice from Sun Microsystems to Oracle; remove CVS style keywords (RCSfile, Revision)	2010-02-12 15:01:35 +01:00