diff options
| author | hallgren <hallgren@chalmers.se> | 2011-04-15 15:05:44 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-04-15 15:05:44 +0000 |
| commit | a53558aac04b103a1d2ca58c518ae4bfe2ff2c68 (patch) | |
| tree | 68714a251f94bc325658fa54aa7aaae793127509 /examples | |
| parent | 1eb0fcba11147582b6a1fdbb2db0aae3479718b6 (diff) | |
GFI.hs: some refactoring for readability
Also some minor changes in how Ctrl-C is handled and how CPU time is measured.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions