[PPL-devel] [GIT] ppl/ppl(master): Added/fixed some copyright notices.

Roberto Bagnara bagnara at cs.unipr.it
Mon Feb 20 18:58:04 CET 2012


Module: ppl/ppl
Branch: master
Commit: 2603585b9999c9288e1168cdc179014e7f865b27
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2603585b9999c9288e1168cdc179014e7f865b27

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 20 18:57:17 2012 +0100

Added/fixed some copyright notices.

---

 README.alpha                           |   12 ++++++++++++
 README.arm                             |   12 ++++++++++++
 README.solaris                         |   12 ++++++++++++
 devtools/update_ChangeLog              |   12 ++++++++++++
 interfaces/Java/README.java            |   20 ++++++++++++++++----
 interfaces/OCaml/README.ocaml          |   11 +++++++++++
 interfaces/Prolog/Ciao/README.ciao     |   12 ++++++++++++
 interfaces/Prolog/GNU/README.gprolog   |   12 ++++++++++++
 interfaces/Prolog/SWI/README.swiprolog |   12 ++++++++++++
 interfaces/Prolog/YAP/README.yap       |   12 ++++++++++++
 tests/MIP_Problem/mipproblem4.cc       |    1 +
 11 files changed, 124 insertions(+), 4 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2603585b9999c9288e1168cdc179014e7f865b27



More information about the PPL-devel mailing list