fix
authorChristian Grothoff <christian@grothoff.org>
Mon, 12 Jul 2010 11:46:03 +0000 (11:46 +0000)
committerChristian Grothoff <christian@grothoff.org>
Mon, 12 Jul 2010 11:46:03 +0000 (11:46 +0000)
commitb8a18019d6487403d55a7b1d61a71ee3b5dac591
tree439693416f85a19ddd991bd56fe2f3110bb49114
parent3b4ef1c128d81266cbcc3c6b3769ec5d1197050a
fix
src/util/os_installation.c