diff sat_frontends/tools/xmlui.py @ 3137:559a625a236b

fixed shebangs
author Goffi <goffi@goffi.org>
date Wed, 29 Jan 2020 10:07:00 +0100
parents 9d0df638c8b4
children 1f1741dc3cc4
line wrap: on
line diff
--- a/sat_frontends/tools/xmlui.py	Wed Jan 29 09:50:54 2020 +0100
+++ b/sat_frontends/tools/xmlui.py	Wed Jan 29 10:07:00 2020 +0100
@@ -1,5 +1,5 @@
-#!/usr/bin/env python2
-# -*- coding: utf-8 -*-
+#!/usr/bin/env python3
+
 
 # SàT frontend tools
 # Copyright (C) 2009-2020 Jérôme Poisson (goffi@goffi.org)