source: @ 3494

Name	Size	Rev	Age	Author	Last Change
branches		3089	15 years	gkronber	Deleted feature development branch for the deployment service. #918 …
tags		634	16 years	swagner	Set SVN properties bugtraq:* on all relevant folders (#276)
trunk	​	3494	15 years	gkronber	Changed SymbolicSimplifier to remove StartSymbols. #938 (Data …

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