this_version.py: add +mods if git tree is not clean
authorPaul Brossier <piem@piem.org>
Thu, 23 Mar 2017 17:07:41 +0000 (18:07 +0100)
committerPaul Brossier <piem@piem.org>
Thu, 23 Mar 2017 17:07:41 +0000 (18:07 +0100)
commitf7b7a351084295118143a25000512280b1c9e45b
tree0faa4bd74dbb46b5859b5d22e6f5d32fb523b685
parentbef7726b10ec447c73892f5163e2a9e5582caad9
this_version.py: add +mods if git tree is not clean
this_version.py