fix indentation, typo, improve logging
authorChristian Grothoff <christian@grothoff.org>
Thu, 23 Feb 2017 21:51:25 +0000 (22:51 +0100)
committerChristian Grothoff <christian@grothoff.org>
Thu, 23 Feb 2017 21:55:30 +0000 (22:55 +0100)
commit0945dcf2c250dea65d520ef26f9917e9be3ac4ac
tree8d6a4e78a82298126ef65d6847b252ce75e129e9
parent7056d8853438b5170926335853195333e8968375
fix indentation, typo, improve logging
src/util/os_installation.c