documentation
|
man-pages: 5.04 -> 5.05
|
2020-02-12 22:07:28 +00:00 |
fonts
|
Merge pull request #79704 from rnhmjoj/powerline-fonts
|
2020-03-22 14:45:47 -04:00 |
machine-learning/mnist
|
treewide: name -> pname (#67513)
|
2019-08-31 07:41:22 -04:00 |
misc
|
osinfo-db: fix homepage
|
2020-03-24 07:11:20 +01:00 |
soundfonts/fluid
|
soundfont-fluid: fix src url
|
2020-02-15 07:00:05 -05:00 |
themes
|
arc-theme: disable GNOME Shell support
|
2020-03-24 07:11:18 +01:00 |