diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2023-09-07 19:27:48 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2023-09-07 19:27:48 +0200 |
| commit | 7b2a81c65affd4a90bb8fed5ebe479c22fe718e6 (patch) | |
| tree | 2da10bae664b084a4e986d9ba4596898b2a1903a /proof/index.md | |
| parent | a6d645dc52440dd65337f744cbb3ea5dd749ec8d (diff) | |
rename data subtitle Konkret -> Stjerner; link from non-star pages
Diffstat (limited to 'proof/index.md')
0 files changed, 0 insertions, 0 deletions