1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
Description: Use local source for auto-fetched images
Author: Olek Wojnar <olek@debian.org>
Forwarded: https://github.com/typetools/checker-framework/commit/fa95fd5968b6fcf07922772b9c301636150d8a68
Last-Update: 2020-07-15
--- a/docs/developer/gsoc-ideas.html
+++ b/docs/developer/gsoc-ideas.html
@@ -5,11 +5,11 @@
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<link rel="icon" type="image/png" href=
- "https://checkerframework.org/favicon-checkerframework.png">
+ "../logo/Checkmark/CFCheckmark_favicon.png">
</head>
<body>
-<img src="https://checkerframework.org/CFLogo.png" alt="Checker Framework logo" />
+<img src="../logo/Logo/CFLogo.png" alt="Checker Framework logo" />
<h1>GSoC ideas 2020</h1> <!-- omit from toc -->
|
