aboutsummaryrefslogtreecommitdiff
path: root/scripts/oideprint2txt
Commit message (Expand)AuthorAgeFilesLines
* add script to convert Online-IDE PDFs into plaintextFlorian Fischer2026-04-161-0/+39
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-13 04:56:25 +0000