Trunk 1.1:
- refman: startup switch --redirect - update mingw32-dist script - some missing svn:ignore properties
Authored by: ral 2009-11-24
Parent: [r1875]
Child: [r1877]