Closed GoogleCodeExporter closed 9 years ago
I´m not sure what this js is supposed to do. @klemens: check if its needed. if not, drop the js.
Original issue reported on code.google.com by sehmaschine on 4 Dec 2010 at 1:49
sehmaschine
Original comment by sehmaschine on 4 Dec 2010 at 5:52
Original comment by sehmaschine on 4 Dec 2010 at 5:55
Original comment by sehmaschine on 19 Dec 2010 at 4:27
Original issue reported on code.google.com by
sehmaschine
on 4 Dec 2010 at 1:49