comparison 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
comparison
equal deleted inserted replaced
1933:16e65f15f31f 1934:2daf7b4c6756
1 #!/usr/bin/python 1 #!/usr/bin/env python2
2 # -*- coding: utf-8 -*- 2 # -*- coding: utf-8 -*-
3 3
4 # Primitivus: a SAT frontend 4 # Primitivus: a SAT frontend
5 # Copyright (C) 2009-2016 Jérôme Poisson (goffi@goffi.org) 5 # Copyright (C) 2009-2016 Jérôme Poisson (goffi@goffi.org)
6 6