From 619a6b2adb00b29b1aea7d2c71fb6d0c7e7dde8c Mon Sep 17 00:00:00 2001
From: Pyfisch <pyfisch@gmail.com>
Date: Fri, 5 Sep 2014 12:28:22 +0200
Subject: [PATCH] Removed  unused `short` filter from app.js.

---
 gui/app.js | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/gui/app.js b/gui/app.js
index 511bddb1..ed6cb365 100644
--- a/gui/app.js
+++ b/gui/app.js
@@ -1043,12 +1043,6 @@ syncthing.filter('metric', function () {
     };
 });
 
-syncthing.filter('short', function () {
-    return function (input) {
-        return input.substr(0, 6);
-    };
-});
-
 syncthing.filter('alwaysNumber', function () {
     return function (input) {
         if (input === undefined) {