diff frontends/src/jp/base.py @ 1470:8bfbf5cb0e28

core: moved __version__ to __init__.py, so we can check version by doing "import sat;print(sat.__version__)"
author Goffi <goffi@goffi.org>
date Tue, 18 Aug 2015 09:01:18 +0200
parents 265ff2bd8d67
children 3d5193b4c582
line wrap: on
line diff