From 81e80d78f9e911810ce690d35dae47d29f4e1b82 Mon Sep 17 00:00:00 2001 From: Michael Forney 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. --- devel/python/.rev | 1 - devel/python/rev | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) delete mode 100644 devel/python/.rev create mode 100644 devel/python/rev (limited to 'devel/python') diff --git a/devel/python/.rev b/devel/python/.rev deleted file mode 100644 index d00491fd..00000000 --- a/devel/python/.rev +++ /dev/null @@ -1 +0,0 @@ -1 diff --git a/devel/python/rev b/devel/python/rev new file mode 100644 index 00000000..d00491fd --- /dev/null +++ b/devel/python/rev @@ -0,0 +1 @@ +1 -- cgit v1.2.3