aboutsummaryrefslogtreecommitdiff
path: root/.ghci
diff options
context:
space:
mode:
authorCharles <sircharlesaze@gmail.com>2019-10-11 08:12:51 +0200
committerCharles <sircharlesaze@gmail.com>2019-10-11 08:12:51 +0200
commit15836982fc01eb8721b97ba247b0d518d6ac5fca (patch)
tree61f9f7d3888ec057bafd4019a878001c33e76dff /.ghci
parentc9600030d38442c92ead185fcd8307955c156ec3 (diff)
downloaddotfiles-15836982fc01eb8721b97ba247b0d518d6ac5fca.tar.gz
dotfiles-15836982fc01eb8721b97ba247b0d518d6ac5fca.tar.bz2
dotfiles-15836982fc01eb8721b97ba247b0d518d6ac5fca.zip
Exam config
Diffstat (limited to '.ghci')
-rw-r--r--.ghci1
1 files changed, 0 insertions, 1 deletions
diff --git a/.ghci b/.ghci
deleted file mode 100644
index ec73138..0000000
--- a/.ghci
+++ /dev/null
@@ -1 +0,0 @@
-:set prompt λ>