Thu, 26 Oct 1995 12:49:02 +0100 | clasohm | removed buggy FTP scripts and replaced them by a script for transfer | changeset | files |
Thu, 26 Oct 1995 11:47:25 +0100 | clasohm | scripts for transfer of HTML files to FTP server | changeset | files |
Wed, 25 Oct 1995 13:41:45 +0100 | clasohm | removed "duplicate" warning from store_thm_db; | changeset | files |