../ disktcl1 23-Dec-2017 18:02 547 maketag 23-Dec-2017 18:02 1072 tagfile 23-Dec-2017 18:02 1868 tagfile.org 23-Dec-2017 18:02 1868 tagfile.pat 23-Dec-2017 18:02 1868 tcl.tgz 23-Dec-2017 18:02 311K tk.tgz 23-Dec-2017 18:02 718K