diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2019-03-03 19:00:05 +0100 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2019-03-04 15:41:07 +0100 |
| commit | a6d49c3a81acb453306a902b08e5bac52fe1ea47 (patch) | |
| tree | ffb2674dc5f8f3f932b07b86a93be7de37f98c84 /lib/genode_cpp | |
| parent | 0fd5417aff619f00ceac4f976d9207ea4f3faf04 (diff) | |
| download | Nim-a6d49c3a81acb453306a902b08e5bac52fe1ea47.tar.gz | |
special typing rules for owned pointers
Diffstat (limited to 'lib/genode_cpp')
0 files changed, 0 insertions, 0 deletions