diff frontends/src/quick_frontend/quick_profile_manager.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 3265a2639182
children 039d96e131be
line wrap: on
line diff