diff --git a/recipes/company b/recipes/company new file mode 100644 index 00000000..d8e58c75 --- /dev/null +++ b/recipes/company @@ -0,0 +1,2 @@ +(company :repo "company-mode/company-mode" :fetcher github) + diff --git a/recipes/company-mode b/recipes/company-mode deleted file mode 100644 index e90e558d..00000000 --- a/recipes/company-mode +++ /dev/null @@ -1,2 +0,0 @@ -(company-mode :repo "company-mode/company-mode" :fetcher github) -