Merge branch 'master' of git://git.grml.org/grml-infrastructure
[grml-infrastructure.git] / tools /
drwxr-xr-x   ..
-rwxr-xr-x 1439 get_version