diff --git a/tools/version b/tools/version new file mode 100755 index 0000000..e7543e2 --- /dev/null +++ b/tools/version @@ -0,0 +1,3 @@ +#!/bin/sh + +date +"%Y-%m-%d-%H%M%S"