[PPL-devel] [GIT] ppl/ppl(master): Documentation of the wrapping methods improved. Typos fixed.
Roberto Bagnara
bagnara at cs.unipr.it
Mon May 4 16:09:59 CEST 2009
Module: ppl/ppl
Branch: master
Commit: 137d32b6c98dcf24843171d836388dee85c3855b
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=137d32b6c98dcf24843171d836388dee85c3855b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 16:09:33 2009 +0200
Documentation of the wrapping methods improved. Typos fixed.
---
src/BD_Shape.defs.hh | 14 +++++----
src/Makefile.am | 2 +-
src/Octagonal_Shape.defs.hh | 14 +++++----
src/Polyhedron.defs.hh | 14 +++++----
src/wrap_assign.hh | 71 ++++++++++++++++++++++++-------------------
5 files changed, 65 insertions(+), 50 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=137d32b6c98dcf24843171d836388dee85c3855b
More information about the PPL-devel
mailing list