[PPL-devel] [GIT] ppl/ppl(master): The PPL logo in various formats.
Roberto Bagnara
bagnara at cs.unipr.it
Sat Nov 5 19:48:13 CET 2011
Module: ppl/ppl
Branch: master
Commit: 8dcf9b3f83ff6b8f86481a2b24b304e083818e4e
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8dcf9b3f83ff6b8f86481a2b24b304e083818e4e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Nov 5 19:47:11 2011 +0100
The PPL logo in various formats.
---
doc/.gitignore | 1 +
doc/ppl_logo.eps | 341 +++++++++++++++++++++++++++++++++++++++++++++++
doc/ppl_logo.pdf | Bin 0 -> 4963 bytes
doc/ppl_logo.svg | 89 ++++++++++++
doc/ppl_logo_no_ppl.eps | 322 ++++++++++++++++++++++++++++++++++++++++++++
doc/ppl_logo_no_ppl.pdf | Bin 0 -> 4678 bytes
doc/ppl_logo_no_ppl.svg | 116 ++++++++++++++++
7 files changed, 869 insertions(+), 0 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8dcf9b3f83ff6b8f86481a2b24b304e083818e4e
More information about the PPL-devel
mailing list