diff options
author | 2019-05-09 19:44:20 +0000 | |
---|---|---|
committer | 2019-05-09 19:44:20 +0000 | |
commit | 3b68816a75366a0fc2918c68e2a05c68283801f2 (patch) | |
tree | 89846f5e26642557b7832005861d0842ab03bfd2 /examples/static.rs | |
parent | 2596ea0e46bec73d090d9e51d41e6c2f481b8e15 (diff) | |
parent | 36073a63426e0955aaa3e0745a3b4e29aeb076e3 (diff) | |
download | rtic-3b68816a75366a0fc2918c68e2a05c68283801f2.tar.gz rtic-3b68816a75366a0fc2918c68e2a05c68283801f2.tar.zst rtic-3b68816a75366a0fc2918c68e2a05c68283801f2.zip |
Merge #191
191: generate resource proxies only when needed r=japaric a=japaric
only `static mut` resources need proxies
just a codegen optimization
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'examples/static.rs')
0 files changed, 0 insertions, 0 deletions