Fix comments.
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Thu, 14 Jan 2016 17:59:21 +0000 (17:59 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Thu, 14 Jan 2016 17:59:21 +0000 (17:59 +0000)
[skip ci]

cfg/system.config.in

index 498f78c..8b5b553 100644 (file)
@@ -1,5 +1,6 @@
-# Edit 'user.config' to override these settings.\r
-#===============================================\r
+# This file is processed by the configure script\r
+# See 'Settings/User.hs' for user-defined settings\r
+#=================================================\r
 \r
 # Paths to builders:\r
 #===================\r