comparison frontends/src/quick_frontend/quick_utils.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 069ad98b360d
children d17772b0fe22
comparison
equal deleted inserted replaced
1469:b233274e9a0f 1470:8bfbf5cb0e28