Merge make_install
commit8076ce1d4e63c07ed5764296385d4e4be5730949
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Fri, 8 Feb 2008 14:04:24 +0000 (8 14:04 +0000)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sun, 7 Feb 2010 19:10:34 +0000 (7 20:10 +0100)
tree87e7f467912d455f8729b518740ea6b02e172925
parentb4af76cff58734a47a8022365853b38c3c197c1f
parentd0f28b64b065604361518a5ed51685fc11db7c00
Merge make_install