Added by Jose Manuel Vivó Arnal over 16 years ago
Fixed missing theme dir in windows distribution
see #101
View differences