Noah Petherbridge cc0bc86668 Re-save levels for UUID assignment + rename Levelpacks ... With level UUIDs the savegame.json is not dependent on levelpack names. But, levelpack filenames are still used for sorting on the front-end UI.		2023-03-07 22:08:19 -08:00
..
legacy-gzip	Convert levels over to zipfile format	2022-04-29 20:22:53 -07:00
levelpacks	Re-save levels for UUID assignment + rename Levelpacks	2023-03-07 22:08:19 -08:00
src	Re-save levels for UUID assignment + rename Levelpacks	2023-03-07 22:08:19 -08:00
build.sh	Re-save levels for UUID assignment + rename Levelpacks	2023-03-07 22:08:19 -08:00