diff options
| author | Maarten Dekkers <maartenwut@gmail.com> | 2018-07-12 21:42:36 +0200 |
|---|---|---|
| committer | Drashna Jaelre <drashna@live.com> | 2018-07-12 12:42:36 -0700 |
| commit | ed98250e62d9e37218931d09a4216ffe09d3ce3a (patch) | |
| tree | 3dec04c794c1e4b7494522064a94ae3c6dc51c6e /Vagrantfile | |
| parent | 9c35c5979c232749ee05444f9d810536c31c937c (diff) | |
Add kmini (#3386)
* Add kmini
* Change keyboard USB description
Diffstat (limited to 'Vagrantfile')
0 files changed, 0 insertions, 0 deletions