void zzub_player_history_flush ( zzub_player_t player  ) 

Clears the undo buffer and frees all associated resources.


Generated on 30 May 2010 for libzzub by  doxygen 1.6.1