cardinal: remove

2018-03-24 14:31:46 +01:00
parent e13aad7816
commit b635d5de51
2 changed files with 1 additions and 7 deletions
--- a/5
+++ b/5
@@ -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