build-support
|
buildDunePackage: use dune_2 by default
|
2022-03-13 21:19:09 +01:00 |
data
|
lmodern: 2.004.5 -> 2.005
|
2022-03-14 00:44:46 -04:00 |
development
|
ycmd: switch to fetchFromGitHub
|
2022-03-14 19:32:50 +01:00 |
misc
|
alock: switch to fetchFromGitHub
|
2022-03-14 19:32:50 +01:00 |
os-specific
|
rt5677-firmware: switch to fetchFromGitHub
|
2022-03-14 19:32:50 +01:00 |
servers
|
brickd: switch to fetchFromGitHub
|
2022-03-14 19:32:49 +01:00 |
shells
|
tcsh: use tcsh mirrors
|
2022-03-13 15:44:46 -03:00 |
tools
|
bash-my-aws: switch to fetchFromGitHub
|
2022-03-14 19:32:49 +01:00 |