Random Snippets

This is the place where I keep random snippets I want to put on GitHub.

Koen 2018-08-01