diff frontends/src/jp/constants.py @ 1934:2daf7b4c6756

use of /usr/bin/env instead of /usr/bin/python in shebang
author Goffi <goffi@goffi.org>
date Sun, 17 Apr 2016 14:45:26 +0200
parents d17772b0fe22
children 227a4e617549
line wrap: on
line diff
--- a/frontends/src/jp/constants.py	Sun Apr 17 13:37:40 2016 +0200
+++ b/frontends/src/jp/constants.py	Sun Apr 17 14:45:26 2016 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python2
 # -*- coding: utf-8 -*-
 
 # Primitivus: a SAT frontend