Sat, 29 Jun 2024 17:40:40 UTC | login

Information for file /usr/src/debug/widelands-0-0.72.build20.fc31.riscv64/src/editor/ui_menus/main_menu_new_map.cc

Name/usr/src/debug/widelands-0-0.72.build20.fc31.riscv64/src/editor/ui_menus/main_menu_new_map.cc
Digest (sha256)a97e989b8fcd614b1604ecfa289387333cca50fe86a6205e096b02394f13f188
Size5.63 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