From 169ab5d6dbe8ac7fe008b43ba1ffa85e1538b460 Mon Sep 17 00:00:00 2001
From: Anika Henke <anika@selfthinker.org>
Date: Sat, 13 Oct 2012 14:18:15 +0100
Subject: [PATCH] added info for style.local.ini files

---
 style.ini | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/style.ini b/style.ini
index bbda8c5..5fa6ce7 100644
--- a/style.ini
+++ b/style.ini
@@ -1,6 +1,11 @@
 ; Please see http://www.php.net/manual/en/function.parse-ini-file.php
 ; for limitations of the ini format used here
 
+; To extend this file or make changes to it, it is recommended to create
+; a style.local.ini file to prevent losing any changes after an upgrade.
+; Please don't forget to copy the section your changes should be under
+; (i.e. [stylesheets] or [replacements]) into that file as well.
+
 ; Define the stylesheets your template uses here. The second value
 ; defines for which output media the style should be loaded. Currently
 ; print, screen and all are supported.