Merge mainline changes
commitb183ce0a4ad17f84425bf237acca8fb1eea739ec
authorVojtech Horky <vojtechhorky@users.sourceforge.net>
Sun, 24 Mar 2013 15:34:29 +0000 (24 16:34 +0100)
committerVojtech Horky <vojtechhorky@users.sourceforge.net>
Sun, 24 Mar 2013 15:34:29 +0000 (24 16:34 +0100)
treee0478dd06377e7f042d172014a111e1f24fdd596
parentb92a0ee0b9b93ef0d525013de4a657a5b969bae6
parent119b46e45d903caf31b28eb1f2046fe108aa20c4
Merge mainline changes
tools/autotool.py