From 81e80d78f9e911810ce690d35dae47d29f4e1b82 Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Wed, 12 Oct 2016 09:42:27 -0700
Subject: Rename .rev to rev

Even though it is not generally useful, it is easy to forget to update if it is
hidden.
---
 core/git/.rev | 1 -
 core/git/rev  | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 core/git/.rev
 create mode 100644 core/git/rev

(limited to 'core/git')

diff --git a/core/git/.rev b/core/git/.rev
deleted file mode 100644
index b8626c4c..00000000
--- a/core/git/.rev
+++ /dev/null
@@ -1 +0,0 @@
-4
diff --git a/core/git/rev b/core/git/rev
new file mode 100644
index 00000000..b8626c4c
--- /dev/null
+++ b/core/git/rev
@@ -0,0 +1 @@
+4
-- 
cgit v1.2.3