diff options
| author | Charly Delay <0xcharly@users.noreply.github.com> | 2022-07-26 15:41:24 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-26 07:41:24 +0100 |
| commit | 244450625a121e35f3848c111bf4e42f09e009b9 (patch) | |
| tree | dd3367041fe36edb3c3ad01cbc3915829ce92e3b /Vagrantfile | |
| parent | 9f5b71bada16b0c5f97077f472451e41f4c04ee5 (diff) | |
bastardkb: fix info.json changes that got reverted during the last merge from `master` to `develop` (#17800)
* bastardkb: fix info.json changes that got reverted during the last merge from `master` to `develop`
* Remove board name from root folder `info.json`
Diffstat (limited to 'Vagrantfile')
0 files changed, 0 insertions, 0 deletions