# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1461089342 -7200
# Node ID 2c75011d7b2db038f15753153c802d9844c98faa
# Parent  10bfdc4777c546a9ff40ee7ede782d7428040fe9
jp: forgotten shebang fixes

diff -r 10bfdc4777c5 -r 2c75011d7b2d frontends/src/jp/base.py
--- 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
diff -r 10bfdc4777c5 -r 2c75011d7b2d frontends/src/jp/jp
--- 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