3 Commits

Author	SHA1	Message	Date
Philipp Dörfler	9cb3d4b735	changed /bin/bash to /usr/bin/env bash ... This abstracts over the exact location of the bash binary and makes NixOS people happy.	2018-11-27 19:48:16 +01:00
David Bennett	7d356f2267	Update the generate script to work correctly.	2018-08-28 11:00:44 +02:00
Florian Festi	31a6af5116	Add script for geenrating examples ... Regenerate examples with current code	2016-03-28 12:19:25 +02:00