diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-11-22 09:27:14 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-11-22 09:29:01 +0100 |
| commit | 948e1fd0fbd96f574c31909843b2ed3debabf6fc (patch) | |
| tree | be8bb18bee86e726a52e19a4083fa0ae9386cdfb /gen-examples.sh | |
| parent | c184f91e3c3993dacbd8425019cde6a3607478bc (diff) | |
v0.2.2
Diffstat (limited to 'gen-examples.sh')
| -rw-r--r-- | gen-examples.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gen-examples.sh b/gen-examples.sh index d053c95..e6870c4 100644 --- a/gen-examples.sh +++ b/gen-examples.sh @@ -10,6 +10,7 @@ main() { two-tasks preemption nested + late-resources generics full-syntax ) |