diff options
| author | Gustav Eek <gustav.eek@fripost.org> | 2021-05-26 10:30:22 +0200 |
|---|---|---|
| committer | Gustav Eek <gustav.eek@fripost.org> | 2021-05-26 10:30:22 +0200 |
| commit | f67429926dd9424bfe706ee8828a3b792b524512 (patch) | |
| tree | 2501fd6640fc1c541986616a19d0783527094683 /resources/dummy.tex | |
| parent | 2d748e3657410d82e3bf5edbf95789cd144e5e6e (diff) | |
Propositions. Add Makefile and sed scripts
Diffstat (limited to 'resources/dummy.tex')
0 files changed, 0 insertions, 0 deletions