Commit graph

5 commits

Author SHA1 Message Date
Yarmo Mackenbach
ddb085166c Update AGPL headers in PHP files 2020-07-31 00:35:35 +02:00
Yarmo Mackenbach
4461141903 Add AGPL headers 2020-07-30 12:05:11 +02:00
Yarmo Mackenbach
583e8cbae2 Updated design 2020-07-11 19:33:56 +02:00
Yarmo Mackenbach
7180086ef3 Fully transition to PHP templating, improve key selection 2020-07-02 02:36:15 +02:00
Yarmo Mackenbach
82f6fee626 Convert all HTML files to PHP 2020-07-02 00:54:40 +02:00
Renamed from pages/proofs.html (Browse further)