applications
|
Merge pull request #43527 from volth/patch-188
|
2018-07-16 08:21:08 +02:00 |
desktops
|
gnome3.totem: disable vala plug-ins again
|
2018-07-15 16:57:27 +02:00 |
games
|
Merge pull request #43578 from rardiol/cdda
|
2018-07-15 21:10:05 +00:00 |
os-specific
|
batman_adv: 2018.0 -> 2018.1
|
2018-07-15 21:41:45 +02:00 |
servers
|
xkbcomp: 1.4.0 -> 1.4.2 (#43589)
|
2018-07-16 10:41:07 +02:00 |
shells
|
zsh-command-time: 2017-05-09 -> 2018-04-30
|
2018-07-12 09:45:54 +03:00 |
tools
|
Merge pull request #43494 from jb55/clipmenu-master
|
2018-07-16 00:48:31 +02:00 |