jan 6db4bb96db Create an ordering for everything
In order to make layouts more reproducible
Also add pattern.sort() and file.utils.preflight_check()

optionally don't sort elements
elements aren't re-ordered that often, sorting them is slow, and the
sort criteria are arbitrary, so we might want to only sort stuff by name
2024-06-03 17:00:20 -07:00
..
2023-11-18 12:28:33 -08:00
2024-06-03 17:00:20 -07:00
2023-10-15 16:18:34 -07:00
2023-11-12 02:29:52 -08:00