Philipp Oppermann b03a368191 Truncate site description to 150 characters ...

According to the Bing webmaster tools, this is recommended for SEO.

2020-02-21 11:24:45 +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

Truncate site description to 150 characters

2020-02-21 11:24:45 +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