diff --git a/compiler/config.py b/compiler/config.py index c770571af..d936c8119 100644 --- a/compiler/config.py +++ b/compiler/config.py @@ -9,7 +9,7 @@ from util import * ## Global -__version__ = "0.10" # FIXME add libdash version +__version__ = "0.11" # FIXME add libdash version GIT_TOP_CMD = [ 'git', 'rev-parse', '--show-toplevel', '--show-superproject-working-tree'] if 'PASH_TOP' in os.environ: PASH_TOP = os.environ['PASH_TOP']