diff options
| author | Dario Nieuwenhuis <[email protected]> | 2021-07-31 19:07:58 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-07-31 19:07:58 +0200 |
| commit | 0a1da180d0fd93deaf9cc453566c3d66511c03a8 (patch) | |
| tree | 21e48a1f5acdf93822fe59515cfdd99e13813cde /.github | |
| parent | 3835278567e05014158eeede15d62a57ee105518 (diff) | |
| parent | 3420cbf744d13bc1b90ac1d2cd5434b2b416a036 (diff) | |
Merge pull request #335 from bgamari/no-build-core
examples: Drop build-std = ["core"]
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions