# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1535721925 -7200
# Node ID 20bf6887d1ed79822070054afb8fc04c3e7ff10d
# Parent  e35a265ec174ff730228aa7a8ed8458a32b8c256
core: minor version fix for pyjamas workaround

diff -r e35a265ec174 -r 20bf6887d1ed sat/__init__.py
--- a/sat/__init__.py	Sat Aug 11 18:24:55 2018 +0200
+++ b/sat/__init__.py	Fri Aug 31 15:25:25 2018 +0200
@@ -24,4 +24,4 @@
         __version__ = f.read().strip()
 except NotImplementedError:
     # pyjamas workaround
-    __version__ = "0.7D"
+    __version__ = "0.7.0D"