Add a third default.
authorBruno Cabral <bcabral@uw.edu>
Sun, 17 Nov 2013 23:00:52 +0000 (23:00 +0000)
committerBruno Cabral <bcabral@uw.edu>
Sun, 17 Nov 2013 23:00:52 +0000 (23:00 +0000)
commitb205514cf813d9024ff2080f6b531831a0154f41
tree40f9edc920a7097de135242a3739a937114588b3
parent86dab6411220fcb8789e6cb02c7909f65dc81641
Add a third default.
$HOME is not set on W32, and it refuses to work without it.
src/util/util.conf