Devco1 Shell

Name	Size	Last Modified	Owner	Permissions
_static	Dir	May 06 2026 9:19:01	root	0755
admin	Dir	May 06 2026 9:19:01	root	0755
appdev	Dir	May 06 2026 9:19:01	root	0755
basic	Dir	May 06 2026 9:19:01	root	0755
build	Dir	May 06 2026 9:19:01	root	0755
formats	Dir	May 06 2026 9:19:01	root	0755
plugindev	Dir	May 06 2026 9:19:01	root	0755
user	Dir	May 06 2026 9:19:01	root	0755
about.html	7.778 KB	May 05 2026 11:34:56	root	0644
basic.pdf	116.563 KB	May 22 2020 7:22:58	root	0644
build_this.html	11.912 KB	May 05 2026 11:34:58	root	0644
convert-config-files	1.715 KB	May 22 2020 12:21:40	root	0755
copyright.html	5.646 KB	May 05 2026 11:34:58	root	0644
genindex-K.html	4.909 KB	May 05 2026 11:34:59	root	0644
genindex-R.html	7.86 KB	May 05 2026 11:34:59	root	0644
genindex-all.html	8.405 KB	May 05 2026 11:34:59	root	0644
genindex.html	4.824 KB	May 05 2026 11:34:59	root	0644
index.html	6.338 KB	May 05 2026 11:34:58	root	0644
krb5.conf	0.36 KB	May 22 2020 12:21:40	root	0644
mitK5defaults.html	20.003 KB	May 05 2026 11:34:58	root	0644
mitK5features.html	35.153 KB	May 05 2026 11:34:58	root	0644
mitK5license.html	78.216 KB	May 05 2026 11:34:58	root	0644
objects.inv	5.842 KB	May 05 2026 11:34:59	root	0644
resources.html	9.245 KB	May 05 2026 11:34:59	root	0644
search.html	5.453 KB	May 05 2026 11:34:59	root	0644
searchindex.js	108.912 KB	May 05 2026 11:34:59	root	0644
services.append	0.584 KB	May 22 2020 12:21:40	root	0644
user.pdf	198.558 KB	May 22 2020 7:22:57	root	0644