From 6d3ba02b557a954702b887d13986b9fc3ef4a7ac Mon Sep 17 00:00:00 2001
From: Felix Van der Jeugt <felix.vanderjeugt@gmail.com>
Date: Sun, 10 Apr 2016 11:12:18 +0200
Subject: [PATCH] no more need for pygmentize

---
 local/bin/pygmentize | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100755 local/bin/pygmentize

diff --git a/local/bin/pygmentize b/local/bin/pygmentize
deleted file mode 100755
index fcd5b60..0000000
--- a/local/bin/pygmentize
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/python3.4
-
-# -*- coding: utf-8 -*-
-import re
-import sys
-
-from pygments.cmdline import main
-
-if __name__ == '__main__':
-    sys.argv[0] = re.sub(r'(-script\.pyw|\.exe)?$', '', sys.argv[0])
-    sys.exit(main())