Philipp Oppermann 516bc38b2b Ensure that each page only has a single <h1> ...

According to Bing's webmaster tool multiple <h1> tags on a site are a SEO problem.

2020-02-21 11:17:31 +01:00

..

content

Double Faults: A missing handler leads to a #GP exception (not a #NP)

2020-02-19 10:58:55 +01:00

diagrams

Use PNG instead of SVG for address image

2019-01-14 14:28:47 +01:00

static

Remove debug logging from javascript

2020-02-17 15:06:48 +01:00

templates

Ensure that each page only has a single <h1>

2020-02-21 11:17:31 +01:00

.gitignore

Remove Rust codegen crate

2017-03-12 00:19:46 +01:00

before_build.py

Sort recent updates by merge date

2020-02-17 12:39:05 +01:00

config.toml

Make link_checker skip more sites

2020-02-17 13:43:33 +01:00

requirements.txt

Add a netlify.toml file

2018-03-18 17:24:28 +01:00