From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 8 Apr 2016 21:34:02 +0000 (+0000)
Subject: renaming ...
X-Git-Tag: make_still_working~606
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2a6ee971c38ab91a1cd04b3d822f2f475bde8077;hp=049f6a9c248a1638495196e04cf17d30154d5de4;p=helm.git

renaming ...
---

diff --git a/helm/www/lambdadelta/images/smile.png b/helm/www/lambdadelta/images/smile.png
new file mode 100644
index 000000000..10e1131a1
Binary files /dev/null and b/helm/www/lambdadelta/images/smile.png differ
diff --git a/helm/www/lambdadelta/images/smile.xcf b/helm/www/lambdadelta/images/smile.xcf
new file mode 100644
index 000000000..f3cc6239a
Binary files /dev/null and b/helm/www/lambdadelta/images/smile.xcf differ
diff --git a/helm/www/lambdadelta/images/smiley.png b/helm/www/lambdadelta/images/smiley.png
deleted file mode 100644
index 10e1131a1..000000000
Binary files a/helm/www/lambdadelta/images/smiley.png and /dev/null differ
diff --git a/helm/www/lambdadelta/images/smiley.xcf b/helm/www/lambdadelta/images/smiley.xcf
deleted file mode 100644
index f3cc6239a..000000000
Binary files a/helm/www/lambdadelta/images/smiley.xcf and /dev/null differ