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

Module: ppl/ppl Branch: ppl-1_1-branch Commit: 703378ad0497ba3c989a609950a9de12e21ca89c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=703378ad0497b... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Oct 28 13:38:33 2013 +0100 Mark ChangeLog. --- ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 3b08901..ee8e117 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2013-10-28 Roberto Bagnara <bagnara@cs.unipr.it> + + * PPL 1.1 released. + 2013-10-28 Roberto Bagnara <roberto.bagnara@bugseng.com> * doc/devref-language-interface.doxyconf.in,