Devco1 Shell

Name	Size	Last Modified	Owner	Permissions
docs	Dir	January 16 2025 1:06:35	root	0755
editors	Dir	January 16 2025 1:06:35	root	0755
BUGS.txt	9.57 KB	June 09 2017 11:02:35	root	0644
FAQ.txt	44.455 KB	February 26 2016 9:40:17	root	0644
HISTORY.txt	114.803 KB	August 03 2017 9:01:16	root	0644
README.txt	11.11 KB	August 03 2017 9:03:32	root	0644
RELEASE-NOTES.txt	18.371 KB	August 03 2017 9:01:16	root	0644
THANKS.txt	3.134 KB	February 08 2015 11:21:18	root	0644