Skip to main content
3 events
when toggle format what by license comment
Sep 20, 2022 at 18:28 comment added Michael Seifert @MikeTeX: No worries, I don't expect any upvotes for it — just figured I'd post it in case it's helpful and I can't get back to it soon.
Sep 20, 2022 at 18:21 comment added MikeTeX Michael. I cannot upvote this answer since it is partial and temporary, but thx.
Sep 20, 2022 at 16:59 history answered Michael Seifert CC BY-SA 4.0