From 96e7b4184497d0d0db532947f2801398b72432e4 Mon Sep 17 00:00:00 2001 From: Steve Purcell Date: Mon, 1 Apr 2013 20:08:36 +0100 Subject: [PATCH] Rename company-mode package to company (see #640) --- recipes/company | 2 ++ recipes/company-mode | 2 -- 2 files changed, 2 insertions(+), 2 deletions(-) create mode 100644 recipes/company delete mode 100644 recipes/company-mode 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) -