From f7880ce83ba82ada2d04a0c587448446e677d458 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 6 Jul 2022 17:11:35 -0400 Subject: Moved "lux/time" to "lux/world/time". --- stdlib/source/program/aedifex/metadata/snapshot.lux | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'stdlib/source/program/aedifex/metadata/snapshot.lux') 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)] -- cgit v1.2.3