From 40818a63bda37cff638679538abdaa63ea212ef6 Mon Sep 17 00:00:00 2001 From: Chris Done Date: Tue, 20 May 2014 17:24:39 +0200 Subject: [PATCH] Make .ghci runnable --- .ghci | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 .ghci diff --git a/.ghci b/.ghci old mode 100644 new mode 100755