make devtools work with 25 trunk
authorRobert Kaiser <robert@widebook.box.kairo.at>
Sun, 21 Jul 2013 22:10:02 +0000 (00:10 +0200)
committerRobert Kaiser <robert@widebook.box.kairo.at>
Sun, 21 Jul 2013 22:10:02 +0000 (00:10 +0200)

No differences found