Mercurial > libervia-backend
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 |