Mathias Bauer bc17616d77 #100754#: slot for deleting bookmarks needed for recording		2002-07-01 07:48:46 +00:00
..
inc	#100740#: Keep/Set frame size attribute in page descs	2002-06-28 11:28:17 +00:00
prj
sdi	#100754#: slot for deleting bookmarks needed for recording	2002-07-01 07:48:46 +00:00
source	#100044# SvShorts and friends do not scale well with increased size	2002-06-28 13:17:55 +00:00
util	#98281# ICUI18NLIB needed for BiDi	2002-06-10 08:00:58 +00:00
xml