comparison frontends/src/jp/base.py @ 1945:2c75011d7b2d

jp: forgotten shebang fixes
author Goffi <goffi@goffi.org>
date Tue, 19 Apr 2016 20:09:02 +0200
parents 01d56efd488b
children 227a4e617549
comparison
equal deleted inserted replaced
1944:10bfdc4777c5 1945:2c75011d7b2d
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 6