diff sat_frontends/jp/output_xmlui.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 620bbcec884c
line wrap: on
line diff