Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile

[profile] / dot / bashrc

diff --git a/dot/bashrc b/dot/bashrc
index fe4b375..4b51e7f 100644 (file)
--- a/dot/bashrc
+++ b/dot/bashrc
@@ -392,3 +392,5 @@ fi
 fi
 
 ###----- That's all, folks --------------------------------------------------
+
+: