id summary reporter owner description type status priority component version resolution keywords cc game 8528 Possible workaround for checking the directories SF/andrej4000 fingolfin "{{{#!Markdown I don't know how portable this is, but I hope it works more or less plattform independent. }}} {{{#!div style=""font-size: 75%"" Ticket imported from: !#1476692. Ticket imported from: patches/633. }}}" patch closed normal --Other-- wontfix