# BEWARE: this is sourced both as a python and a bash file.
# Furthermore, it's handled by git smudge/clean filters on checkin/checkout.

VERSION="0"
COMMIT="f343e4f"
DATE="2014-05-19 04:20:51 +0200"
