Scratchpad

Entries tagged - "editing"

• Use existing Makefile targets in VSCode Tasks Dec 25, 2020
• pdf editing on the commandline May 26, 2020