From b635d5de5138c6585c68fc440106d166af3abc0e Mon Sep 17 00:00:00 2001 From: hellerve Date: Sat, 24 Mar 2018 14:31:46 +0100 Subject: [PATCH] cardinal: remove --- Makefile | 5 +---- cardinalrc | 3 --- 2 files changed, 1 insertion(+), 7 deletions(-) delete mode 100644 cardinalrc diff --git a/Makefile b/Makefile index 155abe9..097b918 100644 --- a/Makefile +++ b/Makefile @@ -1,11 +1,8 @@ -all: bash cardinal e ghc git input python sbcli scripts valgrind vim zepto zsh +all: bash e ghc git input python sbcli scripts valgrind vim zepto zsh bash: cp bash_profile ~/.bash_profile -cardinal: - cp cardinalrc ~/.cardinalrc - e: cp erc ~/.erc diff --git a/cardinalrc b/cardinalrc deleted file mode 100644 index db3066e..0000000 --- a/cardinalrc +++ /dev/null @@ -1,3 +0,0 @@ -{ - "theme": "tomorrow-night" -}