diff options
author | Jonas Smedegaard <dr@jones.dk> | 2024-06-06 08:40:38 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2024-06-06 08:40:38 +0200 |
commit | 0bb9b00f9a7769144ba3cd4c7520f38e3b220bad (patch) | |
tree | a35dced5f3180fc5e47bfb462ab5eb169dc3f527 /.gitignore | |
parent | fae4c69a895fdd60332aa5cd03b04625f58e4607 (diff) |
capitalize theory nouns in abstract
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions