Sun, 23 Jun 2024 23:06:22 UTC | login

Information for file /usr/share/gtk-doc/html/clipsmm-0.3/reference/html/classCLIPS_1_1any_1_1placeholder.html

Name/usr/share/gtk-doc/html/clipsmm-0.3/reference/html/classCLIPS_1_1any_1_1placeholder.html
Digest (sha256)d6347f5202007bf334a58d6f495e3b7d2106c789aa61501c5a05a82f3dafaed7
Size7.00 KB
Modification timeThu, 19 Jan 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-rw-r--
Flags documentation
RPMclipsmm-doc-0.3.5-25.fc38.noarch.rpm