diff options
author | Gustav Eek <gustav.eek@fripost.org> | 2021-05-26 16:28:42 +0200 |
---|---|---|
committer | Gustav Eek <gustav.eek@fripost.org> | 2021-05-26 16:29:27 +0200 |
commit | 8b27f35a605a3396d3908bac9834c2fdacfb9756 (patch) | |
tree | 55f5ca495025ab39c487afb3fa5848f8be7abc86 /2020/Makefile | |
parent | 5c7e98c243065c3337162c8954624f1502610cf4 (diff) |
Minutes 26 oct, 2020. Proof corrections. Approved.
Corrections from auditor.
Diffstat (limited to '2020/Makefile')
0 files changed, 0 insertions, 0 deletions