Bobby Rong a7236443d5 gnome-text-editor: 47.0 → 47.1 ... https://gitlab.gnome.org/GNOME/gnome-text-editor/-/compare/47.0...47.1		2024-10-31 23:11:54 +08:00
..
package.nix	gnome-text-editor: 47.0 → 47.1	2024-10-31 23:11:54 +08:00