Gabor Juhos 64fddc8d81 fix image names in the wget2nand script 17 years ago
..
etc 438dfe5c6f get rid of per-profile base-files 18 years ago
sbin 64fddc8d81 fix image names in the wget2nand script 17 years ago