|
|
7ebd25b709
|
misc: make slides-plot.py usable by CLI
|
2020-07-05 11:36:47 +02:00 |
|
|
|
edb75c7e18
|
ex-1: fixed a typo
|
2020-07-05 11:36:44 +02:00 |
|
|
|
8891d3368d
|
ex-1: move from pdfs-plot.py things about 1-notes.pdf and both.pdf to
this new program.
|
2020-07-05 11:36:41 +02:00 |
|
