aboutsummaryrefslogtreecommitdiff
path: root/website-old
AgeCommit message (Collapse)Author
2017-06-13Removed old website; we no longer use it.Reinier Zwitserloot
2017-05-29The great rename: the old ‘website’ is now ‘website-old’, and ↵Reinier Zwitserloot
‘website2’ is now ‘website’.