Alexander von Gluck IV 0dbb417d43 3rdparty/docker/bootstrap: Fix defaults to be more generic and engine selection ...

Change-Id: I8a1e3c6bd641ea08a5a06985389269d708d94655

2019-07-01 14:07:03 -05:00

..

docker

3rdparty/docker/bootstrap: Fix defaults to be more generic and engine selection

2019-07-01 14:07:03 -05:00

kallisti5

riscv32: Drop any remaining mentions

2019-04-04 13:23:32 +00:00

mmu_man

Revert "Revert "Switch from DejaVu to Noto font""

2017-02-19 12:09:33 -05:00

proj2make

…

pulkomandy

3rdparty/unbootstrap: Correct source packages as well

2018-03-08 10:45:59 -06:00

qtcreator

3rdparty/qtcreator: bash, not sh.

2018-08-01 18:23:15 -04:00

vmware

Bump vmx files to virtualHW.version = "6", to allow USB 2.0

2012-12-08 20:29:05 -05:00

Jamfile

…