Information for file /usr/share/wesnoth/data/tools/wmllint
| Name | /usr/share/wesnoth/data/tools/wmllint |
|---|---|
| Digest (sha256) | c58dfdd672e613edcc7316c990b300ffa81a13c02fb4eea7cac33e18a6a26537 |
| Size | 174.16 KB |
| Modification time | Sat, 19 Dec 2020 01:34:38 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | wesnoth-tools-1.15.8-1.fc33.riscv64.rpm |
