externaltools.plugin

9.78 KB -rw-r--r--

RPM 71801

File

Name: /usr/lib64/pluma/plugins/externaltools.plugin
Digest (sha256): 4c6692303feae3507b7b6701643d34f61242e5c8f16840eae48951c3e45d8353
Size: 9.78 KB
Modification time: Thu, 16 Jul 2026 00:00:00 UTC
Flags: none
RPM: pluma-1.28.1-3.fc45.riscv64.rpm