From 871e6bd1e1a03069772e3df6b7e5d316dae76596 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Mon, 20 Apr 2020 20:25:32 +0200 Subject: remove old logo --- doc/logos/ico/favicon1616.ico | Bin 1150 -> 0 bytes doc/logos/ico/favicon4848.ico | Bin 15086 -> 0 bytes 2 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 doc/logos/ico/favicon1616.ico delete mode 100644 doc/logos/ico/favicon4848.ico (limited to 'doc/logos/ico') diff --git a/doc/logos/ico/favicon1616.ico b/doc/logos/ico/favicon1616.ico deleted file mode 100644 index 141b93d3f..000000000 Binary files a/doc/logos/ico/favicon1616.ico and /dev/null differ diff --git a/doc/logos/ico/favicon4848.ico b/doc/logos/ico/favicon4848.ico deleted file mode 100644 index 3c04b1266..000000000 Binary files a/doc/logos/ico/favicon4848.ico and /dev/null differ -- cgit v1.2.3