diff sat_frontends/tools/strings.py @ 2633:f3bbb6822ab3

misc: renamed former tags from "SàT va.b.c" to "a.b.c"
author Goffi <goffi@goffi.org>
date Wed, 04 Jul 2018 07:24:42 +0200
parents 56f94936df1e
children a754523fc0f6
line wrap: on
line diff