Devan Franchini 2223a73070 gnome3-run.sh: Adds background setting in .xinitrc file		2015-02-15 14:56:16 -05:00
..
desktop	gnome3-run.sh: Adds background setting in .xinitrc file	2015-02-15 14:56:16 -05:00
clean.sh	tools-hardened: tools and templates for hardened stages	2013-01-05 08:44:17 -05:00
run-armv7a.sh	tools-hardened: clean up run script	2013-01-19 18:21:31 -05:00
stage1-armv7a_hardfp-hardened.conf.template	tools-hardened: rename hardfloat to hardfp	2013-01-06 22:14:45 -05:00
stage2-armv7a_hardfp-hardened.conf.template	tools-hardened: rename hardfloat to hardfp	2013-01-06 22:14:45 -05:00
stage3-armv7a_hardfp-hardened.conf.template	tools-hardened: rename hardfloat to hardfp	2013-01-06 22:14:45 -05:00