diff options
| author | eudoxos <eu@doxos.eu> | 2020-05-13 11:46:47 +0200 |
|---|---|---|
| committer | eudoxos <eu@doxos.eu> | 2020-05-13 11:46:47 +0200 |
| commit | d1ae194f8d82027cd6cbe35e32111550c9bba9fd (patch) | |
| tree | e94f17e71c102eff237e6a5807599ce508985225 /variants/micro | |
| parent | 58081c05e548560d3a60050bbf260ebec5d1e867 (diff) | |
Add "new" proxy header for compatibility with c++-standard #include<new>
Diffstat (limited to 'variants/micro')
0 files changed, 0 insertions, 0 deletions