diff zshrc-linux-gnu @ 78:60c4b60b2945

define the build number that is used in our deployment packages
author Dirk Olmes <dirk.olmes@exentra.de>
date Fri, 21 Aug 2015 11:02:43 +0200
parents fa52868da3d4
children 2cc8820caae0
line wrap: on
line diff