- Feb 24, 2019
-
-
klorpa authored
-
- Feb 17, 2019
-
-
klorpa authored
-
- Feb 01, 2019
-
-
ezsh authored
Modify embed_favicon.py to pass HTML file name (or use bin/FC_pregmod.html by default) to embed favicon into. An HTML header for the story format was replaced by a format.js file, and therefore we can't embed favicon there anymore, hence we switch over to the story file itself. Closes #461.
-
- Nov 25, 2018
-
-
Pregmodder authored
This reverts merge request !3010
-
deepmurk authored
-
- Aug 20, 2018
-
-
prndev authored
Closes #246.
-
- Jul 03, 2018
- Jul 02, 2018
-
-
deepmurk authored
-
- Jun 10, 2018
-
-
prndev authored
Favicons are embedded at the end of the header to avoid pushing the meta charset past the 1024 byte mark.
-
- Jun 09, 2018
-
-
prndev authored
-