update naming convention for exported files
authorPaul Hänsch <paul@plutz.net>
Sat, 23 Jan 2021 13:31:50 +0000 (14:31 +0100)
committerPaul Hänsch <paul@plutz.net>
Sat, 23 Jan 2021 13:31:50 +0000 (14:31 +0100)
commit6e0c5a503b2ac95dd6cc7076a26edd89a45fee5e
treed7abf8db8ab460e0b7423bc326cfc1b41b2fc59c
parent67242ede9efbdee9eaec4483cb882efc680c8c78
update naming convention for exported files
courses/export_pdf.sh