diff frontends/src/primitivus/primitivus @ 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 c38233e12c69
children 011eff37e21d 827bb478d8af
line wrap: on
line diff
--- a/frontends/src/primitivus/primitivus	Sun Apr 17 13:37:40 2016 +0200
+++ b/frontends/src/primitivus/primitivus	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