diff options
| author | Martino Facchin <m.facchin@arduino.cc> | 2020-06-11 15:07:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-11 15:07:50 +0200 |
| commit | 71c3f9920102991dc7b0492482fb08d51881e44a (patch) | |
| tree | f6eff339577a4690f72b0a9c1ad64c7653ebfede /extras/pack.pullrequest.bash | |
| parent | 9568c6308f9a4fc2e2c2eb7563f6a3c8882f9e25 (diff) | |
| parent | d1ae194f8d82027cd6cbe35e32111550c9bba9fd (diff) | |
Merge pull request #340 from eudoxos/header-new
Add "new" proxy header for compatibility with c++-standard #include<new>
Diffstat (limited to 'extras/pack.pullrequest.bash')
0 files changed, 0 insertions, 0 deletions