diff options
| author | sharkdp <davidpeter@web.de> | 2018-08-18 21:30:12 +0200 |
|---|---|---|
| committer | sharkdp <davidpeter@web.de> | 2018-08-18 21:30:12 +0200 |
| commit | e5b8c4471a609991f82183ed6648ffa2b20b130c (patch) | |
| tree | 1803cb82b0fa216b8c70064c2c7140f2c1298ca0 /ci | |
| parent | b19169176734e50cabdbd3d70e5d51117595653e (diff) | |
Bump minimum required rust version
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions