Scratchpad

All articles

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