source: palm @ 782

Name Size Rev Age Author Last Change
../
trunk 782   13 years heinze Bugfix concerning setting of font size in legends.
tags 724   14 years raasch bugfixes of r722 merged to release 3.8
Note: See TracBrowser for help on using the repository browser.