# 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="3318cd6"
DATE="2014-01-20 22:04:43 +0100"
