diff options
| author | Laurențiu Nicola <[email protected]> | 2020-07-30 13:04:41 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-07-30 13:04:41 +0100 |
| commit | a538e0fbe815a4543f3b547d7a20469bebc2e3ed (patch) | |
| tree | fb8e5fbd8cf1d54109b3a88c214488e2d8ce3cce /.gitignore | |
| parent | be803efb7c7ba257716fcc97c57ecfd07e278b07 (diff) | |
Add workaround for changing sysroot paths
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions