diff options
| author | Thomas Kleymann | 1997-03-06 09:58:45 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1997-03-06 09:58:45 +0000 |
| commit | b938a9d0357607479402e8d753002def68457bc8 (patch) | |
| tree | 54f3c40e87ea8b66069a2cd7675a0799ce2f8af4 /script-management.texinfo | |
| parent | 4a82262f4bf480637589fdd1e96cb471652c196f (diff) | |
implementation of pbptop now records if selected goal is not current,
hence pbp-construct-command does not need to bother to cater for "Next"
command
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions