source: @ 12304

Name	Size	Rev	Age	Author	Last Change
trunk	​	12293	10 years	pfleck	#2301 Use decimal instead of double for the …
tags		12011	10 years	ascheibe	#2212 created tag for 3.3.11
stable	​	12297	10 years	ascheibe	#2356 merged r12236,r12273 into stable
misc		11360	10 years	gkronber	data for demoing the data preprocessing functionality
branches		12304	10 years	pfleck	#2027 Used new termination-operator and -criteria in OSGA.

Property bugtraq:label set to Ticket Property bugtraq:logregex set to (?:ticket: *|#)(\d+) *(?:, *(\d+))* Property bugtraq:url set to /trac/hl/core/ticket/%BUGID% Property bugtraq:warnifnoissue set to true