chiark / gitweb /
dev-setup: make NULL as parameter for dev_setup() equivalent to ""