From 40482420b6dd7b560e13e9ff7f1667f1c1cefd90 Mon Sep 17 00:00:00 2001
From: Claude <longneck@scratchbook.ch>
Date: Thu, 19 Apr 2012 21:55:32 +0200
Subject: [PATCH] same content for caching

---
 htdocs/application/views/defaults/footer.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/htdocs/application/views/defaults/footer.php b/htdocs/application/views/defaults/footer.php
index 3281bad..5d5a5ad 100755
--- a/htdocs/application/views/defaults/footer.php
+++ b/htdocs/application/views/defaults/footer.php
@@ -11,6 +11,7 @@ $this->carabiner->js('jquery.js');
 $this->carabiner->js('jquery.timers.js');
 $this->carabiner->js('jquery.clipboard.js');
 $this->carabiner->js('stikked.js');
+$this->carabiner->js('codemirror/codemirror.js');
 
 $this->carabiner->display('js');