use more generic .quit()
authorRonny Strutz <ronny.strutz@multimedia-labs.de>
Sun, 13 Nov 2005 20:07:18 +0000 (20:07 +0000)
committerRonny Strutz <ronny.strutz@multimedia-labs.de>
Sun, 13 Nov 2005 20:07:18 +0000 (20:07 +0000)

No differences found