Configuration tool for the Raspberry Pi
Go to file
2012-07-15 19:46:49 +01:00
debian be more intelligent about inserting config options 2012-07-13 17:01:48 +01:00
LICENSE Initial commit 2012-06-10 21:32:01 +01:00
raspi-config change 'OK' to 'Select' 2012-07-15 19:46:49 +01:00
sample_profile_d.sh drop the user to a shell with user pi if they exit for whatever reason 2012-06-17 13:58:44 +01:00