Florian Festi
|
416f9a8abf
|
examples/generate.sh: Remove no longer existing generator "box"
Thanks to Ben Christenson for pointing this out.
Resolves: #208
|
2020-03-07 20:22:27 +01:00 |
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 |