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
|
unicode-character-database: 12.1.0 -> 13.0.0
|
2020-03-16 11:10:22 +00:00 |
soundfonts/fluid
|
soundfont-fluid: fix src url
|
2020-02-15 07:00:05 -05:00 |
themes
|
ant-theme: should not use a fixed output path
|
2020-03-23 14:35:17 -03:00 |