# HG changeset patch # User Dan # Date 1232209905 18000 # Node ID 01e7206b4441ef95b21c9ef2d6bd5e85601e609d # Parent 36bcc9212837aab62e34fa66f0d600651d2a4814 Minor fix to OS detection in install diff -r 36bcc9212837 -r 01e7206b4441 install.php --- a/install.php Thu Nov 27 10:38:00 2008 -0500 +++ b/install.php Sat Jan 17 11:31:45 2009 -0500 @@ -1531,7 +1531,7 @@