diff options
author | Eduardo Julian | 2022-07-06 17:11:35 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-06 17:11:35 -0400 |
commit | f7880ce83ba82ada2d04a0c587448446e677d458 (patch) | |
tree | 0cdd43e40933906bae8c87681095284e4274d3c6 /stdlib/source/program/aedifex/metadata | |
parent | 5270f301eba5237feebc8eca14aee6b7a992a819 (diff) |
Moved "lux/time" to "lux/world/time".
Diffstat (limited to 'stdlib/source/program/aedifex/metadata')
-rw-r--r-- | stdlib/source/program/aedifex/metadata/artifact.lux | 12 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/metadata/snapshot.lux | 12 |
2 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux index 3ddc320b2..5df1ae3a7 100644 --- a/stdlib/source/program/aedifex/metadata/artifact.lux +++ b/stdlib/source/program/aedifex/metadata/artifact.lux @@ -25,14 +25,14 @@ [math [number ["n" nat]]] - ["[0]" time (.only Time) - ["[0]" instant (.only Instant)] - ["[0]" date (.only Date)] - ["[0]" year] - ["[0]" month]] [world [net - ["[0]" uri (.only URI)]]]]] + ["[0]" uri (.only URI)]] + ["[0]" time (.only Time) + ["[0]" instant (.only Instant)] + ["[0]" date (.only Date)] + ["[0]" year] + ["[0]" month]]]]] ["[0]" // (.only) ["/[1]" // [repository (.only Repository)] diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux index 78b0e8c55..7b3e4d5d0 100644 --- a/stdlib/source/program/aedifex/metadata/snapshot.lux +++ b/stdlib/source/program/aedifex/metadata/snapshot.lux @@ -25,14 +25,14 @@ [math [number ["n" nat]]] - ["[0]" time (.only Time) - ["[0]" instant (.only Instant)] - ["[0]" date (.only Date)] - ["[0]" year] - ["[0]" month]] [world [net - ["[0]" uri (.only URI)]]]]] + ["[0]" uri (.only URI)]] + ["[0]" time (.only Time) + ["[0]" instant (.only Instant)] + ["[0]" date (.only Date)] + ["[0]" year] + ["[0]" month]]]]] ["[0]" // (.only) ["/[1]" // [repository (.only Repository)] |