diff vidix/mga_vid.c @ 35197:996cf322a88d

Mark exit_player functions as noreturn.
author reimar
date Tue, 30 Oct 2012 16:58:50 +0000
parents 8773e8565983
children 945eab072c9d
line wrap: on
line diff