From 12b7cfca829b694732ca6521e2314a36eb728329 Mon Sep 17 00:00:00 2001 From: Charlie Somerville Date: Thu, 15 Nov 2012 09:41:42 +1100 Subject: [PATCH] use python2 instead of python --- lib/pygments/mentos.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/pygments/mentos.py b/lib/pygments/mentos.py index 3ffe7007..6861134e 100755 --- a/lib/pygments/mentos.py +++ b/lib/pygments/mentos.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python2 # -*- coding: utf-8 -*- import sys, re, os, signal, resource