Thu, 14 Nov 2024 15:32:33 UTC | login

Information for file /usr/share/gtk-doc/html/pluma/pluma-pluma-prefs-manager.html

Name/usr/share/gtk-doc/html/pluma/pluma-pluma-prefs-manager.html
Digest (sha256)e895901749b62eb880c5d5a187803389df2f154c7c94f412ee5514d517a9e7ac
Size91.50 KB
Modification timeSat, 28 Nov 2020 04:12:32 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMpluma-devel-1.24.1-1.fc33.riscv64.rpm