diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-26 15:24:39 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-26 15:24:39 +0200 |
| commit | 18c79bcb98fb376f15b2b3e00972530df61b26a9 (patch) | |
| tree | ff70031e7566942962e54f6a0ddcc48c5010aab4 /test/examples/proofassume.tex | |
| parent | c19415b970d502d662eb10c403728fa41cdbe03e (diff) | |
update gitigonre
Diffstat (limited to 'test/examples/proofassume.tex')
0 files changed, 0 insertions, 0 deletions