diff sat_frontends/quick_frontend/quick_games.py @ 2834:6cd3549e8d67

we are in dev version again
author Goffi <goffi@goffi.org>
date Sat, 02 Mar 2019 18:43:09 +0100
parents 003b8b4b56a7
children ab2696e34d29
line wrap: on
line diff