Do not allow stamp or $(VERSION_FILE) to succeed without gitcrement
[armadillo.git] / server /
drwxr-xr-x   ..
-rw-r--r-- 2249 paths.go
-rw-r--r-- 5347 server.go
-rw-r--r-- 4677 tv_rename.go