Alexander von Gluck IV d214cb5e13 3rdparty/docker/bootstrap: Fix repo urls that don't work anymore ... Change-Id: I91b324984b1abc69bb015117a9505be0e6541294		2019-04-15 13:25:55 -05:00
..
docker	3rdparty/docker/bootstrap: Fix repo urls that don't work anymore	2019-04-15 13:25:55 -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	Draft of proj2make - BeIDE projects convertion tool	2012-01-16 23:03:37 +01:00
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