diff options
| author | Laurențiu Nicola <[email protected]> | 2019-02-03 15:35:42 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-02-03 15:35:42 +0000 |
| commit | cbc2ac5d09e35eb7f45815cc135e75c662060a5e (patch) | |
| tree | d3321cdc690e154cf1ad68125d6903019a00fae6 /.gitignore | |
| parent | 581c97a5c3821e247df372f25cf8c01ed514bdd9 (diff) | |
Add core to STD_DEPS
See #731.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions