Tim Edwards f18a219be4 Modified the set_user_id script so that if it happens to be run on ... a repository where the user_id_programming GDS has been compressed, it will handle it correctly.		2021-11-15 16:41:04 -05:00
..
gen_gpio_defaults.py	Finished first draft of the gen_gpio_defaults.py script, which now	2021-11-07 21:51:00 -05:00
set_user_id.py	Modified the set_user_id script so that if it happens to be run on	2021-11-15 16:41:04 -05:00