devhelp.plugin

2.85 KB -rw-r--r--

RPM 22083

File

Name: /usr/lib64/gedit/plugins/devhelp.plugin
Digest (sha256): e3b5c4291b197792215429ad06125d49576c92a5e4efcf48a3f017cde573abc7
Size: 2.85 KB
Modification time: Wed, 15 Jul 2026 00:00:00 UTC
Flags: none
RPM: devhelp-1:43.0-19.fc45.riscv64.rpm