fix
authorChristian Grothoff <christian@grothoff.org>
Wed, 2 Nov 2011 15:11:32 +0000 (15:11 +0000)
committerChristian Grothoff <christian@grothoff.org>
Wed, 2 Nov 2011 15:11:32 +0000 (15:11 +0000)
commit009b558dfb5034123daaf63d636b54e36f8df2d4
treeef9df756cf8666b394a32cc3fe4d3e6f7d27f3fc
parentd7837bbad62cc528d61785108b403c1ec7b80ecf
fix
src/util/os_installation.c