Information for file /usr/include/webkitgtk-4.0/webkitdom/WebKitDOMUIEvent.h
| Name | /usr/include/webkitgtk-4.0/webkitdom/WebKitDOMUIEvent.h |
|---|---|
| Digest (sha256) | 04288786d368f9a7312b0fc58762df36b0bf923c76249e3cf69f61e83b83765d |
| Size | 4.34 KB |
| Modification time | Tue, 04 Feb 2020 10:24:08 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | webkit2gtk3-devel-2.28.0-8.0.riscv64.fc33.riscv64.rpm |
