devkit power used if present, but not required
authorEnrico Zini <enrico@enricozini.org>
Fri, 18 Dec 2009 11:40:10 +0000 (11:40 +0000)
committerEnrico Zini <enrico@enricozini.org>
Fri, 18 Dec 2009 11:40:10 +0000 (11:40 +0000)

No differences found