diff frontends/src/tools/strings.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 b43ee22eac98
children 1128feb54180
line wrap: on
line diff
--- a/frontends/src/tools/strings.py	Sun Apr 17 13:37:40 2016 +0200
+++ b/frontends/src/tools/strings.py	Sun Apr 17 14:45:26 2016 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python2
 # -*- coding: utf-8 -*-
 
 # SAT helpers methods for plugins