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 + 1 file changed, 1 insertion(+) create mode 100644 devel/python/rev (limited to 'devel/python/rev') 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