-// $Id: script_manager.hpp 3379 2006-04-20 18:44:10Z matzebraun $
+// $Id$
//
// SuperTux
// Copyright (C) 2006 Matthias Braun <matze@braunis.de>
return wakeup_time > other.wakeup_time;
}
};
-
+
typedef std::vector<ScheduleEntry> ScheduleHeap;
ScheduleHeap schedule;
};
}
#endif
-