From ed223febd651ea32bf784fb054ecb5082276cc6b Mon Sep 17 00:00:00 2001 From: jaseg Date: Mon, 16 Sep 2013 15:03:33 +0200 Subject: Removed unnecessary pygments include in gifterm --- gifterm.py | 5 ----- 1 file changed, 5 deletions(-) diff --git a/gifterm.py b/gifterm.py index 99cbb5f..185f741 100755 --- a/gifterm.py +++ b/gifterm.py @@ -1,11 +1,6 @@ #!/usr/bin/env python import os, sys, argparse, os.path, json, time, signal, atexit, pixelterm -#NOTE: This script uses pygments for RGB->X256 conversion since pygments is -#readily available. If you do not like pygments (e.g. because it is large), -#you could patch in something like https://github.com/magarcia/python-x256 -#(but don't forget to send me a pull request ;) -from pygments.formatters import terminal256 from PIL import Image, GifImagePlugin, ImageSequence clear_screen = '\033[H\033[2J' -- cgit