rwxr-xr-x 4273/0 0 Jul 10 23:30 1994 jedi/ rw-r--r-- 4273/0 475 Jul 10 23:30 1994 jedi/CONTENTS rw-r--r-- 4273/0 5363 May 11 02:01 1989 jedi/egavga.bgi rw-r--r-- 4273/0 2189 Dec 21 14:23 1990 jedi/jedi.doc rw-r--r-- 4273/0 91792 Dec 21 12:54 1990 jedi/jedi.exe rw-r--r-- 4273/0 3415 Dec 21 14:22 1990 jedi/press.txt