diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2023-09-04 07:25:17 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2023-09-04 07:25:17 +0200 |
| commit | 89e86de8a6859a84e4c64e5a91871a36abc7be86 (patch) | |
| tree | b3c54fd6275962207c8caef1ddda287514ce905c /proof/index.md | |
| parent | 56c9b302b08e9d1e6ca8cfd757e47d359776dbd0 (diff) | |
add QR-code to front page
Diffstat (limited to 'proof/index.md')
0 files changed, 0 insertions, 0 deletions