diff options
| author | Laurențiu Nicola <[email protected]> | 2020-04-26 12:53:33 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-04-28 18:47:13 +0100 |
| commit | 77de40192e6c5f39c511f846850fb60881e8ee9e (patch) | |
| tree | 2ec84d5182ea74a338e3843e32cfd6d27eaed81a /editors | |
| parent | 5671bacfa66a9d83daa1cc42f72ec8701412ccdc (diff) | |
Use x86_64-unknown-linux-gnu for releases
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions