Tue, 24 Sep 2024 18:55:56 UTC | login

Information for file /usr/src/debug/widelands-0-0.72.build20.fc31.riscv64/src/wui/game_options_sound_menu.cc

Name/usr/src/debug/widelands-0-0.72.build20.fc31.riscv64/src/wui/game_options_sound_menu.cc
Digest (sha256)9dc23480a7f1ea6ecef98d3b32df184ba90278ede8131eede44f8cdb019fc4f7
Size5.98 KB
Modification timeThu, 02 May 2019 05:23:39 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMwidelands-debugsource-0-0.72.build20.fc31.riscv64.rpm