comparison sat_frontends/quick_frontend/quick_utils.py @ 3137:559a625a236b

fixed shebangs
author Goffi <goffi@goffi.org>
date Wed, 29 Jan 2020 10:07:00 +0100
parents 9d0df638c8b4
children be6d91572633
comparison
equal deleted inserted replaced
3136:9d0df638c8b4 3137:559a625a236b
1 #!/usr/bin/env python2 1 #!/usr/bin/env python3
2 # -*- coding: utf-8 -*- 2
3 3
4 # Primitivus: a SAT frontend 4 # Primitivus: a SAT frontend
5 # Copyright (C) 2009-2020 Jérôme Poisson (goffi@goffi.org) 5 # Copyright (C) 2009-2020 Jérôme Poisson (goffi@goffi.org)
6 6
7 # This program is free software: you can redistribute it and/or modify 7 # This program is free software: you can redistribute it and/or modify