diff options
author | 2018-01-15 22:34:09 +0000 | |
---|---|---|
committer | 2018-01-15 22:34:09 +0000 | |
commit | b73263e8fa534233e8c097c6b1e6e430ea160d13 (patch) | |
tree | c82e6f193e0bf9b842366e305056481d4d1666b2 /gen-examples.sh | |
parent | 34edc41e9289e83468f68663a7f4a7f0f6cc2797 (diff) | |
parent | def4fc8079dcb646ef3cab446a4b160e09e169bf (diff) | |
download | rtic-0.3.0.tar.gz rtic-0.3.0.tar.zst rtic-0.3.0.zip |
Auto merge of #64 - japaric:v3, r=japaricv0.3.0
v0.3.0
None
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 e6870c48..20c9d7c7 100644 --- a/gen-examples.sh +++ b/gen-examples.sh @@ -11,6 +11,7 @@ main() { preemption nested late-resources + safe-static-mut-ref generics full-syntax ) |