# HG changeset patch # User wenzelm # Date 1127833309 -7200 # Node ID 2fe254a20a4206380dc6d3b56487f0d9acbe9813 # Parent 9763b78adb1b77811ba332b94ffa77229013e3b5 tuned; diff -r 9763b78adb1b -r 2fe254a20a42 Admin/website/installation.html --- a/Admin/website/installation.html Tue Sep 27 17:01:10 2005 +0200 +++ b/Admin/website/installation.html Tue Sep 27 17:01:49 2005 +0200 @@ -113,8 +113,8 @@ Linux versions, see also Segmentation faults with Linux on the Poly/ML site. - - + +