diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-12-15 13:54:41 +0100 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-12-15 13:54:41 +0100 |
| commit | e3a668a33baaf9d89b287827eaab3fa1cdfec877 (patch) | |
| tree | bf374e97230a61d036176638bcaf7798d70985d3 /lib/genode | |
| parent | 446f911a173a595648fa444c83d931193198eeb6 (diff) | |
| download | Nim-e3a668a33baaf9d89b287827eaab3fa1cdfec877.tar.gz | |
--gc:destructors: baby steps
Diffstat (limited to 'lib/genode')
0 files changed, 0 insertions, 0 deletions