diff options
Diffstat (limited to 'CIAO/VERSION')
| -rw-r--r-- | CIAO/VERSION | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/CIAO/VERSION b/CIAO/VERSION deleted file mode 100644 index 92e619ce04c..00000000000 --- a/CIAO/VERSION +++ /dev/null @@ -1,8 +0,0 @@ -This is CIAO version 1.3.3, released Thu Sep 17 08:51:30 CEST 2015 - -If you have any problems with or questions about CIAO, please send -e-mail to the CIAO mailing list (ciao-users@list.isis.vanderbilt.edu), -using the form found in the file TAO/CIAO/PROBLEM-REPORT-FORM. In order -to post to the list you must subscribe to it. - -See http://www.dre.vanderbilt.edu/~schmidt/ACE-mail.html |