free_history

Description:

public static void free_history (TimeCoord[] events)

Frees an array of TimeCoord that was returned by get_history.

events	an array of TimeCoord.
n_events	the length of the array.