diff options
| author | Johnny Willemsen <jwillemsen@remedy.nl> | 2009-09-11 07:36:15 +0000 |
|---|---|---|
| committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2009-09-11 07:36:15 +0000 |
| commit | ea70569d1d7586ad0de699ecd3c1f49e94fcf87f (patch) | |
| tree | fb28515157756723afea38e42c5e510a9e1261fe /CIAO/VERSION | |
| parent | 35c67fcb1ace489ae281c3e1d4d1a5835083ffcb (diff) | |
| download | ATCD-ea70569d1d7586ad0de699ecd3c1f49e94fcf87f.tar.gz | |
reverted 0.7.3
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 13278b4c9bd..c6ad1bd2e31 100644 --- a/CIAO/VERSION +++ b/CIAO/VERSION @@ -1,4 +1,4 @@ -This is CIAO version 0.7.3, released Fri Sep 11 02:28:22 CDT 2009 +This is CIAO version 0.7.2, released Thu Jul 23 02:11:02 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 |