Merge branch 'master' into gsoc-dir-split
commit6d2a74c813e3d8600c5680fb8a44adaa5b879cc8
authorThomas Martitz <thomas.martitz@student.htw-berlin.de>
Sat, 10 Jul 2010 13:16:51 +0000 (10 15:16 +0200)
committerThomas Martitz <thomas.martitz@student.htw-berlin.de>
Sat, 10 Jul 2010 13:16:51 +0000 (10 15:16 +0200)
treea28c828b4da68c30b8aaa848020918685887c154
parent2eb25d03a3750233f772fad895826942449000c7
parent07de98aed938d34780d1036c9efb3231694d0a2b
Merge branch 'master' into gsoc-dir-split
tools/configure