From af2742a9ccfacc033b060eea067130997539ce10 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 10 Dec 2016 22:29:30 +0100
Subject: Removed PROFILING, added profiling info to CONTRIBUTING.md.

---
 PROFILING | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 PROFILING

(limited to 'PROFILING')

diff --git a/PROFILING b/PROFILING
deleted file mode 100644
index 73e2dc5c2..000000000
--- a/PROFILING
+++ /dev/null
@@ -1,6 +0,0 @@
-To use the GHC profiler:
-
-cabal clean
-cabal install --enable-library-profiling --enable-executable-profiling
-pandoc +RTS -p -RTS [file]...
-less pandoc.prof
-- 
cgit v1.2.3