Artturi 607bb74fad Merge pull request #190386 from zhaofengli/more-fetchzip-fallouts ...

Fix more fetchzip fallouts

2022-09-09 01:59:04 +03:00

..

documentation

stdman: 2021.12.21 -> 2022.07.30

2022-08-16 23:31:36 +00:00

fonts

Merge pull request #190386 from zhaofengli/more-fetchzip-fallouts

2022-09-09 01:59:04 +03:00

icons

Merge pull request #188852 from Icy-Thought/fluent-icon-theme

2022-08-30 18:09:30 +02:00

machine-learning/mnist

mnist: deprecate phases

2021-07-17 22:45:19 +02:00

misc

publicsuffix-list: Fix build

2022-09-08 14:55:32 -06:00

sgml+xml

Merge pull request #166509 from jtojnar/man-opt-nodup

2022-04-10 11:09:12 +01:00

soundfonts

soundfont-generaluser: init at 1.471

2022-03-24 12:49:38 +02:00

themes

Merge pull request #187245 from kilianar/catppuccin-gtk-0.2.7

2022-09-04 12:54:45 +02:00