adding favicon

8 years ago · d37ee4ae77
parent 868349c981
commit d37ee4ae77
2 changed files with 0 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,6 +1,5 @@
 .DS_Store
 .dropbox
-*Icon*
 tmp.md
 tmp*.png
 book.tex
--- a/favicon.gif
+++ b/favicon.gif