diff sat_frontends/quick_frontend/quick_list_manager.py @ 3137:559a625a236b

fixed shebangs
author Goffi <goffi@goffi.org>
date Wed, 29 Jan 2020 10:07:00 +0100
parents 56f94936df1e
children
line wrap: on
line diff
--- a/sat_frontends/quick_frontend/quick_list_manager.py	Wed Jan 29 09:50:54 2020 +0100
+++ b/sat_frontends/quick_frontend/quick_list_manager.py	Wed Jan 29 10:07:00 2020 +0100
@@ -1,5 +1,5 @@
-#!/usr/bin/env python2
-# -*- coding: utf-8 -*-
+#!/usr/bin/env python3
+
 
 # Libervia: a Salut à Toi frontend
 # Copyright (C) 2013-2016 Adrien Cossa <souliane@mailoo.org>