comparison frontends/src/jp/cmd_param.py @ 1960:3e168cde7a7d

jp: fixed shebang python call
author Goffi <goffi@goffi.org>
date Sun, 19 Jun 2016 22:22:08 +0200
parents 96ba685162f6
children 8b37a62336c3
comparison
equal deleted inserted replaced
1959:ca5a883f8abe 1960:3e168cde7a7d
1 #! /usr/bin/python 1 #!/usr/bin/env python2
2 # -*- coding: utf-8 -*- 2 # -*- coding: utf-8 -*-
3 3
4 # jp: a SAT command line tool 4 # jp: a SAT command line tool
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 # Copyright (C) 2013-2016 Adrien Cossa (souliane@mailoo.org) 6 # Copyright (C) 2013-2016 Adrien Cossa (souliane@mailoo.org)