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")