applications
|
zoom-us: 2.8.252201.0616 -> 2.8.264592.0714
|
2019-07-15 07:26:55 -04:00 |
data
|
victor-mono: init at 1.2.1
|
2019-07-13 11:58:34 -04:00 |
desktops
|
gnome3.gnome-terminal: add hicolor-icon-theme
|
2019-07-14 07:40:14 -04:00 |
misc
|
Merge pull request #63817 from ambrop72/wine-wrapper-fix
|
2019-07-15 10:40:15 +00:00 |
os-specific
|
linux: 5.2 -> 5.2.1
|
2019-07-14 08:07:25 -04:00 |
shells
|
oh-my-zsh: 2019-07-01 -> 2019-07-13
|
2019-07-15 07:26:55 -04:00 |
tools
|
Merge pull request #64773 from lilyball/exa
|
2019-07-15 05:09:10 -04:00 |
top-level
|
coq: 8.10+beta1 -> 8.10+beta2
|
2019-07-14 14:58:49 +00:00 |