]> git.zerfleddert.de Git - usb-driver/commitdiff
remove no longer needed dummy_interrupt mutex
authorMichael Gernoth <michael@gernoth.net>
Mon, 14 Apr 2008 21:18:24 +0000 (23:18 +0200)
committerMichael Gernoth <michael@gernoth.net>
Mon, 14 Apr 2008 21:18:24 +0000 (23:18 +0200)

No differences found
Impressum, Datenschutz