diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2023-09-04 07:32:28 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2023-09-04 07:32:28 +0200 |
| commit | 2f67a4c58feb15a93b9591da61734312220ced66 (patch) | |
| tree | 56a89c319c834096546694b3e7399d6f85db925d /proof | |
| parent | 63ff6c186016d92743c16a20e7ede95830ef9756 (diff) | |
add makefile
Diffstat (limited to 'proof')
0 files changed, 0 insertions, 0 deletions