diff options
author | Jonas Smedegaard <dr@jones.dk> | 2024-06-06 09:13:39 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2024-06-06 09:13:39 +0200 |
commit | 0909aeb585c8aa15b4b2233d40b21e78ea287fb9 (patch) | |
tree | abc17d9e6c9af4f55aa7271888c9d212d848be2e /annot | |
parent | 12c5dae25d8b2a69c9bf2a8444a4861335f88f29 (diff) |
rewrite concluding paragraph in synthesis chapter
Diffstat (limited to 'annot')
0 files changed, 0 insertions, 0 deletions