diff options
| author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-04-21 01:14:27 +0200 |
|---|---|---|
| committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-04-21 01:14:27 +0200 |
| commit | 753ff60029e269239a60f64cf036626d7ab7377e (patch) | |
| tree | 3d93731e79109efd456178412d21131d3f3f9ca5 /update-pdf.sh | |
| parent | d457bc06427c6e70c0d6cb19b1b6203bdd57ffc9 (diff) | |
Main proof maybe finished
Diffstat (limited to 'update-pdf.sh')
0 files changed, 0 insertions, 0 deletions