Use the standard favicon from the CGI interface for the website as well
authorFabian Keil <fk@fabiankeil.de>
Fri, 25 Jan 2013 14:38:18 +0000 (14:38 +0000)
committerFabian Keil <fk@fabiankeil.de>
Fri, 25 Jan 2013 14:38:18 +0000 (14:38 +0000)
Previously the website used a strange "P in brackets"
favicon that wasn't tracked in CVS.

doc/webserver/favicon.ico [new file with mode: 0644]

diff --git a/doc/webserver/favicon.ico b/doc/webserver/favicon.ico
new file mode 100644 (file)
index 0000000..3633656
Binary files /dev/null and b/doc/webserver/favicon.ico differ