diff options
| author | Siri Reiter <siri@pjones.dk> | 2024-05-20 17:13:55 +0200 |
|---|---|---|
| committer | Siri Reiter <siri@pjones.dk> | 2024-05-20 17:13:55 +0200 |
| commit | 81ce1ba4d23fca4017a63d512e28283e59267b1a (patch) | |
| tree | 2770073b8812be17b051302483c2e1baad4f1ffe /talks | |
| parent | 4d34937e67a013e2e509a4e78928015acc9f2958 (diff) | |
sharpen formulations
Diffstat (limited to 'talks')
0 files changed, 0 insertions, 0 deletions