API Documentation

Undo tool interface.

$Id: portal_undo.py 38590 2005-09-24 15:24:32Z yuppie $