diff options
Diffstat (limited to 'utils/stat2resid/prefix.txt')
| -rw-r--r-- | utils/stat2resid/prefix.txt | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/utils/stat2resid/prefix.txt b/utils/stat2resid/prefix.txt deleted file mode 100644 index 0de9d61f25..0000000000 --- a/utils/stat2resid/prefix.txt +++ /dev/null @@ -1,10 +0,0 @@ -# -# stat2resid - generating graphs from garbage collection stats. -# -# To use the script on your system, the following variable -# needs to be uncommented and set, if it hasn't already -# been set above automatically: -# -#$libdir='/local/fp/lib/fptools/i386-unknown-footos/ghc-2.02'; -# - |