src/group_gui.h
author smatz
Wed, 11 Jun 2008 15:56:55 +0000
changeset 9495 cafcf9e8dbdf
parent 8111 02d19f43eea6
child 10207 c291a21b304e
permissions -rw-r--r--
(svn r13475) -Fix (r13464): crash on destroying aquaduct with ship on in and on company bankrupt
/* $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 */