Rüdiger Timm 4f9cb0c8f8 #87576# corrected		2002-01-23 14:53:08 +00:00
..
prj	#87576# corrected	2002-01-23 14:53:08 +00:00
source	add: generate header files only if really changed, add switch -Gc #65293#	2001-11-08 08:52:16 +00:00