src/group_gui.h
author truebrain
Sun, 15 Jun 2008 22:37:35 +0000
branchnoai
changeset 10972 986675d19245
parent 9723 eee46cb39750
permissions -rw-r--r--
(svn r13526) [NoAI] -Fix: some namespace problems and forgotten pre-condition
/* $Id$ */

/** @file group_gui.h Functions/definitions that have something to do with groups. */

#ifndef GROUP_GUI_H
#define GROUP_GUI_H

#include "vehicle_type.h"

void ShowPlayerGroup(PlayerID player, VehicleType veh);

#endif /* GROUP_GUI_H */