From 09057db2e02a2fce130bfd30d0a9407694eb9682 Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Sun, 1 Jul 2018 17:17:15 +0200
Subject: [PATCH] Add Pico::setConfig() example to index.php.dist

---
 index.php.dist | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/index.php.dist b/index.php.dist
index cd391ad..a1f981d 100644
--- a/index.php.dist
+++ b/index.php.dist
@@ -32,5 +32,8 @@ $pico = new Pico(
     'themes/'   // themes dir
 );
 
+// override configuration?
+//$pico->setConfig(array());
+
 // run application
 echo $pico->run();