diff options
Diffstat (limited to 'CIAO/VERSION')
-rw-r--r-- | CIAO/VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CIAO/VERSION b/CIAO/VERSION index a0cee21d979..5905b0be6ef 100644 --- a/CIAO/VERSION +++ b/CIAO/VERSION @@ -1,4 +1,4 @@ -This is CIAO version 0.7.3, released Fri Sep 11 02:39:39 CDT 2009 +This is CIAO version 0.7.4, released Mon Oct 12 14:03:48 CDT 2009 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 |