annotate sat/VERSION @ 2960:5d13d357896c

jp (xmlui): fixed encoding for raw_input in StringWidget
author Goffi <goffi@goffi.org>
date Fri, 14 Jun 2019 12:49:44 +0200
parents fdd7285ddd83
children 43e5e0dc8c60
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2950
fdd7285ddd83 we are in dev version again
Goffi <goffi@goffi.org>
parents: 2948
diff changeset
1 0.7.0D