diff options
| author | Eduardo Julian | 2022-10-22 02:49:30 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-10-22 02:49:30 -0400 |
| commit | b25eec45fa9aabdc252d59afad3e0c7e73a18fd9 (patch) | |
| tree | 98683e23f5a49d972d3550281bc4584218b7f9a6 /stdlib/source/library/lux/world/time.lux | |
| parent | 74e8954ee269aa5dea39f1e4e3c55e8d387384a8 (diff) | |
Clean-up after format change for extensions [part 3]
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/world/time.lux | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/world/time.lux b/stdlib/source/library/lux/world/time.lux index 853b0429f..b855ea4af 100644 --- a/stdlib/source/library/lux/world/time.lux +++ b/stdlib/source/library/lux/world/time.lux @@ -208,7 +208,8 @@ (..padded _#hour) ..separator (..padded _#minute) ..separator (..padded _#second) - (..millis_format _#milli_second)))) + (..millis_format _#milli_second) + ))) (def .public codec (Codec Text Time) |