Devco1 Shell

Name	Size	Last Modified	Owner	Permissions
examples	Dir	December 22 2023 10:05:38	root	0755
BUGS	1.854 KB	November 17 2016 9:26:34	root	0644
CHANGES	83.348 KB	March 15 2017 10:21:43	root	0644
CREDITS	1.778 KB	November 17 2016 9:26:34	root	0644
GOALS	1.301 KB	November 17 2016 9:26:34	root	0644
HISTORY	4.74 KB	July 11 2016 11:08:01	root	0644
README	1.1 KB	July 11 2016 11:08:02	root	0644
TODO	2.565 KB	December 13 2016 7:16:03	root	0644