drop_stash


Description:

public void drop_stash (size_t index) throws Error

Removes a single stashed state from the stash list.

Parameters:

this

a Repository.

index

the position within the stash list. 0 points to the. most recent stashed state.