Jan Tojnar ece83c3dc5 gnome.devhelp: 43.rc → 43.0 ... https://gitlab.gnome.org/GNOME/devhelp/-/compare/43.rc...43.0 Changelog-Reviewed-By: Jan Tojnar <jtojnar@gmail.com>		2022-10-11 18:52:31 +02:00
..
default.nix	gnome.devhelp: 43.rc → 43.0	2022-10-11 18:52:31 +02:00