fix
authorChristian Grothoff <christian@grothoff.org>
Mon, 19 Oct 2009 11:54:51 +0000 (11:54 +0000)
committerChristian Grothoff <christian@grothoff.org>
Mon, 19 Oct 2009 11:54:51 +0000 (11:54 +0000)
commitd03cf8b2db9a1b43c2f9efc0ea9aa70e45758cbd
tree081ddda809c746a1d76bb5cfe691085635f4fb07
parentc74002485dc595212d33c5e3ac490e3929331892
fix
src/util/os_installation.c