diff options
author | William Carroll <wpcarro@gmail.com> | 2020-08-18T11·13+0100 |
---|---|---|
committer | William Carroll <wpcarro@gmail.com> | 2020-08-20T10·26+0100 |
commit | 33890d8a8b0366f078f359a9e7ad63da24634b9a (patch) | |
tree | accfa36ce342cd39ad0d1af5ad60b7cf8051b849 /assessments/brilliant/.ghci | |
parent | 0c71fc9d1d49daa914c0f56f4f9201d40415d9b4 (diff) |
Move scratch/brilliant into //assessments
Where it belongs...
Diffstat (limited to 'assessments/brilliant/.ghci')
-rw-r--r-- | assessments/brilliant/.ghci | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/assessments/brilliant/.ghci b/assessments/brilliant/.ghci new file mode 100644 index 000000000000..efc88e630ccb --- /dev/null +++ b/assessments/brilliant/.ghci @@ -0,0 +1,2 @@ +:set prompt "> " +:set -Wall |