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 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 ) |
