changeset 1945:2c75011d7b2d

jp: forgotten shebang fixes
author Goffi <goffi@goffi.org>
date Tue, 19 Apr 2016 20:09:02 +0200
parents 10bfdc4777c5
children 827bb478d8af
files frontends/src/jp/base.py frontends/src/jp/jp
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/frontends/src/jp/base.py	Mon Apr 18 18:30:55 2016 +0200
+++ b/frontends/src/jp/base.py	Tue Apr 19 20:09:02 2016 +0200
@@ -1,4 +1,4 @@
-#! /usr/bin/python
+#!/usr/bin/env python2
 # -*- coding: utf-8 -*-
 
 # jp: a SAT command line tool
--- a/frontends/src/jp/jp	Mon Apr 18 18:30:55 2016 +0200
+++ b/frontends/src/jp/jp	Tue Apr 19 20:09:02 2016 +0200
@@ -1,4 +1,4 @@
-#! /usr/bin/python
+#!/usr/bin/env python2
 # -*- coding: utf-8 -*-
 
 # jp: a SAT command line tool