src/group_gui.h
author smatz
Tue, 03 Jun 2008 11:39:15 +0000
changeset 9455 955a7bd9027f
parent 8111 02d19f43eea6
child 10207 c291a21b304e
permissions -rw-r--r--
(svn r13373) -Fix (r10210): loading of very old savegames was broken
/* $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 */