Get rid of files where we don't own the copyright or license is unclear

[zsh-lovers.git] / zsh_people / bruno_bonfils / rc.host / workstation.zsh

diff --git a/zsh_people/bruno_bonfils/rc.host/workstation.zsh b/zsh_people/bruno_bonfils/rc.host/workstation.zsh
deleted file mode 100644 (file)
index 9ad8ccd..0000000
--- a/zsh_people/bruno_bonfils/rc.host/workstation.zsh
+++ /dev/null
@@ -1,11 +0,0 @@
-export LC_CTYPE=fr_FR
-export LC_TIME=fr_FR
-# Prompts color
-
-export host_color="green"
-export domain_color="yellow"
-export path_color="red"
-export date_color="white"
-export status_color="red"
-
-mailpath=($HOME/Mail/spool/mbox.in'?Nouveau(x) message(s) dans mbox';)