diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-05 01:17:16 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-05 01:17:16 +0200 |
| commit | e1d55f672b063f9347c0c9718ae5cdca9a370dba (patch) | |
| tree | 09470283bace815ee1f0f3c9cbd7b77ed299455a /source/Tptp | |
| parent | 22e9ebe72c349514a1ee0ed37772ca8168eaf658 (diff) | |
working commit
Diffstat (limited to 'source/Tptp')
0 files changed, 0 insertions, 0 deletions