diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-12-22 11:06:57 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-12-22 11:06:57 +0100 |
| commit | bba2cf3a70849ba86f37520d3e909cf1c706f416 (patch) | |
| tree | 57418b23b3da0ca1593ce842b3c8c90859636852 /GNUmakefile | |
| parent | 5a04ad3061c1484b45703e44149f49ec97cfbf15 (diff) | |
Fix reading in times from .out files
The code from the previous commit was broken. Also, the time
zone for the times that are read is now wet to 'UTC', in order to
avoid setting different time zones due to daylight savings, which
introduces artificial one-hour offsets on changeover days.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions