diff options
| author | Johnny Willemsen <jwillemsen@remedy.nl> | 2010-09-04 09:31:47 +0000 |
|---|---|---|
| committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2010-09-04 09:31:47 +0000 |
| commit | d0a9c87cc69d2ecd07e1c91c0606774c2cde8d06 (patch) | |
| tree | b428b72604eb51fb716bb6565b935d0f996de6a4 /CIAO/VERSION | |
| parent | 591655a63d3366e099d380528efde63d6e2ea2a0 (diff) | |
| download | ATCD-d0a9c87cc69d2ecd07e1c91c0606774c2cde8d06.tar.gz | |
ChangeLogTag:Sat Sep 04 11:30:18 CEST 2010 Johnny Willemsen <jwillemsen@remedy.nl>
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 288d40e4fdb..09cd329c597 100644 --- a/CIAO/VERSION +++ b/CIAO/VERSION @@ -1,4 +1,4 @@ -This is CIAO version 0.8.1, released Sun Aug 01 11:30:54 CEST 2010 +This is CIAO version 0.8.2, released Sat Sep 04 11:30:18 CEST 2010 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 |