diff options
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 d053c95b..e6870c48 100644 --- a/gen-examples.sh +++ b/gen-examples.sh @@ -10,6 +10,7 @@ main() { two-tasks preemption nested + late-resources generics full-syntax ) |