[PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): Mark ChangeLog.

Module: ppl/ppl Branch: ppl-1_0-branch Commit: 67824a44176b48b030a3f58f7424b317012b8287 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67824a44176b4... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu Jun 28 12:50:33 2012 +0200 Mark ChangeLog. --- ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 78886ab..8bc799b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2012-06-28 Roberto Bagnara <bagnara@cs.unipr.it> + * PPL 1.0 released. + +2012-06-28 Roberto Bagnara <bagnara@cs.unipr.it> + * doc/definitions.dox: Work around a Doxygen bug. Stick to ASCII. 2012-06-28 Roberto Bagnara <bagnara@cs.unipr.it>