diff options
Diffstat (limited to 'CIAO/VERSION')
-rw-r--r-- | CIAO/VERSION | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/CIAO/VERSION b/CIAO/VERSION deleted file mode 100644 index 96c4ca50560..00000000000 --- a/CIAO/VERSION +++ /dev/null @@ -1,12 +0,0 @@ -This is CIAO version 0.5.4, released Mon Nov 20 08:16:34 2006. - -If you have any problems with or questions about CIAO, please send -e-mail to the CIAO mailing list (ciao-users@cs.wustl.edu), using the -form found in the file CIAO/PROBLEM-REPORT-FORM. To ensure that you -see responses, please do one of the following: - - 1) Subscribe to the ciao-users mail list, by sending email with - contents "subscribe ciao-users" to majordomo@cs.wustl.edu. - - 2) Or, monitor the comp.soft-sys.ace newsgroup for responses. - |