Revision 8c9e448faca3002051a974df9a3f58ba702557f1

Committed on 10/02/2009 1:26 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Use DIRECTORY_SEPARATOR instead of hard-coded /.