tree 888c5f095087b4d7eb9e8489c2b361092f4545cb
parent 739a4fa93fdbbe941a2732992a7dcd59028551b6
author Arathorn <mud@mg.mud.de> 1596743722 +0200
committer MG Mud User <mud@mg.mud.de> 1596743722 +0200

Neues Default-Pragma: no_warn_empty_casts

Change-Id: Ie19fd290240e0b602a8e38c0b0d19c687b102385