diff frontends/src/jp/cmd_file.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 de785fcf9a7b
line wrap: on
line diff