diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2023-09-12 10:47:19 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2023-09-12 10:47:19 +0200 |
| commit | 041de0f45e0cbec78d0b7b87852232d0dec58d22 (patch) | |
| tree | 694afbffc9c21b1ede123e101b449f3a82d43d80 /proof/index.md | |
| parent | 8c8130ec5643abc2bece3ee18ff436a9fbcdbf4c (diff) | |
describe stars, and assign stars to services and tools
Diffstat (limited to 'proof/index.md')
0 files changed, 0 insertions, 0 deletions