Merge branch 'misc'
[dragonfly.git] / tools / gitrev.sh
2008-12-03 Sascha WildnerMerge branch 'misc'
2008-12-03 Simon SchubertAdd script to output the current repo version