From 6feeea5a596026e3416ec6dcd5cae6fecaeb2e27 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Mon, 20 Nov 2006 14:25:50 +0000 Subject: [PATCH] whitespace --- rts/Papi.c | 1 - 1 file changed, 1 deletion(-) diff --git a/rts/Papi.c b/rts/Papi.c index d4d5339..6bb0d08 100644 --- a/rts/Papi.c +++ b/rts/Papi.c @@ -1,4 +1,3 @@ - /* ----------------------------------------------------------------------------- * (c) The GHC Team 2006 * -- 1.7.10.4