[PPL-devel] [GIT] ppl/ppl(master): New logos.
Roberto Bagnara
bagnara at cs.unipr.it
Sun Nov 6 09:25:15 CET 2011
Module: ppl/ppl
Branch: master
Commit: 7d35c7b6b16a6e22014871b72fdec1e889ed7c0d
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d35c7b6b16a6e22014871b72fdec1e889ed7c0d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 6 09:25:05 2011 +0100
New logos.
---
doc/.gitignore | 2 +-
doc/bugseng_logo.eps | 201 ++++++++++++++++++++++++++++++++++++++++++
doc/bugseng_logo.pdf | Bin 0 -> 4002 bytes
doc/bugseng_logo.svg | 60 +++++++++++++
doc/ppl_logo.eps | 2 +-
doc/ppl_logo.pdf | Bin 4963 -> 4959 bytes
doc/ppl_logo.svg | 222 ++++++++++++++++++++++++++++-------------------
doc/ppl_logo_no_ppl.eps | 2 +-
doc/ppl_logo_no_ppl.pdf | Bin 4678 -> 4669 bytes
doc/ppl_logo_no_ppl.svg | 14 ++--
10 files changed, 403 insertions(+), 100 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7d35c7b6b16a6e22014871b72fdec1e889ed7c0d
More information about the PPL-devel
mailing list