comparison sat_frontends/primitivus/status.py @ 3137:559a625a236b

fixed shebangs
author Goffi <goffi@goffi.org>
date Wed, 29 Jan 2020 10:07:00 +0100
parents e6806aaab16d
children 524856bd7b19
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) 2013-2016 Adrien Cossa (souliane@mailoo.org) 5 # Copyright (C) 2013-2016 Adrien Cossa (souliane@mailoo.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