Information for file /usr/share/gtk-doc/html/gtksourceview-3.0/GtkSourceUndoManager.html
Name | /usr/share/gtk-doc/html/gtksourceview-3.0/GtkSourceUndoManager.html |
---|---|
Digest (sha256) | 8ddda42dd0e2ed8b4ab4af3393fcad4195058adaa03d03646d48d86e26e87d07 |
Size | 24.09 KB |
Modification time | Sun, 05 May 2019 23:12:25 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | gtksourceview3-devel-3.24.11-3.fc33.riscv64.rpm |