diff options
| author | joshtriplett <joshtriplett@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2007-04-06 03:37:21 +0000 |
|---|---|---|
| committer | joshtriplett <joshtriplett@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2007-04-06 03:37:21 +0000 |
| commit | 68b96e37f77a447473e9f239c1ca35df2e3410cb (patch) | |
| tree | e0eec8a2e09cf16daa72e8559634cabb7d1826bf | |
| parent | a4969b8c472c85f234bface5c9437ebba7138a7e (diff) | |
favicon.ico also used PNG; crush it.
| -rw-r--r-- | doc/favicon.ico | bin | 393 -> 294 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/favicon.ico b/doc/favicon.ico Binary files differindex 354b627f0..63ede652c 100644 --- a/doc/favicon.ico +++ b/doc/favicon.ico |