Overview
| Comment: | time_keys: fix subsecond rounding bug |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
a3f3d5c90ced9b73a69ff88cc965ebbc |
| User & Date: | nat on 2015-04-13 18:15:46 |
| Other Links: | manifest | tags |
Context
|
2015-05-02
| ||
| 14:04 | printers: add a new class-wide procedure to append strings, which often improves readibility check-in: 94f83b5035 user: nat tags: trunk | |
|
2015-04-13
| ||
| 18:15 | time_keys: fix subsecond rounding bug check-in: a3f3d5c90c user: nat tags: trunk | |
|
2015-04-11
| ||
| 21:09 | time_keys-tests: add a test showing a subsecond rounding bug check-in: d3c251409e user: nat tags: trunk | |
Changes
Modified src/natools-time_keys.adb from [b24ddd3065] to [a46b79791f]. [diff]
Modified src/natools-time_keys.ads from [fbf3e16aff] to [37f99cf248]. [diff]