From bb3d0e9c3d2f466104c5b8b8320c1f96a8c06eea Mon Sep 17 00:00:00 2001 From: Fanael Linithien Date: Thu, 10 Jul 2014 20:32:14 +0200 Subject: [PATCH] Rename number-font-lock-mode to highlight-numbers. --- recipes/highlight-numbers | 2 ++ recipes/number-font-lock-mode | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 recipes/highlight-numbers delete mode 100644 recipes/number-font-lock-mode diff --git a/recipes/highlight-numbers b/recipes/highlight-numbers new file mode 100644 index 00000000..a73e74df --- /dev/null +++ b/recipes/highlight-numbers @@ -0,0 +1,2 @@ +(highlight-numbers :fetcher github :repo "Fanael/highlight-numbers" + :old-names (number-font-lock-mode)) diff --git a/recipes/number-font-lock-mode b/recipes/number-font-lock-mode deleted file mode 100644 index cb36a5ce..00000000 --- a/recipes/number-font-lock-mode +++ /dev/null @@ -1 +0,0 @@ -(number-font-lock-mode :fetcher "github" :repo "Fanael/number-font-lock-mode")