Changes between Version 12 and Version 13 of RTSsummaryEvents

Show
Ignore:
Timestamp:
12/21/11 08:09:30 (3 years ago)
Author:
MikolajKonarski (IP: 95.160.111.162)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RTSsummaryEvents

    v12 v13  
    117117}}} 
    118118 
    119 Ask JaffaCake why this line is in the docs, but not in the output 
    120 of +RTS -s I've got. 
     119This line does not appear in threaded RTS, so we disregard it. 
    121120 
    122121{{{