applications
|
lean: 3.21.0 -> 3.23.0
|
2020-11-11 15:16:44 -08:00 |
build-support
|
docker: add final newline to detjson.py
|
2020-11-09 11:39:28 +00:00 |
common-updater
|
scripts/mark-broken: improve
|
2020-10-30 23:11:36 -07:00 |
data
|
vista-fonts: new sha256
|
2020-11-11 21:26:31 +08:00 |
desktops
|
Merge pull request #103400 from andersk/mutter334
|
2020-11-11 09:07:44 +01:00 |
development
|
nanoflann: remove extra whitespace
|
2020-11-11 15:16:20 -08:00 |
games
|
vkquake: 1.05.0 -> 1.05.1
|
2020-11-10 09:05:15 +08:00 |
misc
|
vscode-extensions.scalameta.metals: 1.9.4 -> 1.9.6
|
2020-11-11 15:14:09 -08:00 |
os-specific
|
pcm: 202009 -> 202010
|
2020-11-11 14:54:20 -08:00 |
servers
|
livepeer: 0.5.11 -> 0.5.12
|
2020-11-11 15:11:34 -08:00 |
shells
|
oh-my-zsh: 2020-11-10 → 2020-11-11
|
2020-11-11 15:43:11 -05:00 |
tools
|
mutagen: 0.11.7 -> 0.11.8
|
2020-11-11 15:07:51 -08:00 |
top-level
|
Merge pull request #103110 from AndersonTorres/4th
|
2020-11-11 19:20:08 -03:00 |