23 Feb
2002
23 Feb
'02
4:38 a.m.
What is the effect of using the "strip" command with the files generated by ghc (besides reducing the file size)? -- Andre