diff options
| author | fredizzimo <fsundvik@gmail.com> | 2016-06-21 20:31:26 +0300 |
|---|---|---|
| committer | Jack Humbert <jack.humb@gmail.com> | 2016-06-21 13:31:26 -0400 |
| commit | a69d002506d822fef9713b844cd512cefcffd4fc (patch) | |
| tree | dd0558e2730101c28a8eb6c407584fa3602acd31 /Vagrantfile | |
| parent | 80c87054193b9243670aeb85adefbe1aa6c0fda0 (diff) | |
Fix the make all-keyboards command (#422)
Unfortunately the supported targets, like "quick", "all", "clean",
and so on has to be repeated two extra times, but this is the best
I can do with my makefile skills.
Diffstat (limited to 'Vagrantfile')
0 files changed, 0 insertions, 0 deletions