diff --git a/src/revs b/src/revs old mode 100644 new mode 100755