#include "globals.h"
Go to the source code of this file.
Christian Helmuth <ch12@os.inf.tu-dresden.de>
Definition in file globals.c.
Definition at line 16 of file globals.c.