../ rdisc-charter.txt 31-May-2002 19:51 3065 rdisc-minutes-89dec.txt 12-Jun-1990 14:02 12K rdisc-minutes-90feb.txt 12-Jun-1990 13:56 3992 rdisc-minutes-90july.txt 18-Sep-1990 19:50 7307 rdisc-minutes-90may.txt 12-Jun-1990 13:55 11K rdisc-minutes-91jul.txt 18-Sep-1991 13:38 226