diff options
| author | Thomas Kleymann | 1998-09-16 14:40:18 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-09-16 14:40:18 +0000 |
| commit | 19962a677f2b26707a224e2864dec48b7d2b5de0 (patch) | |
| tree | dca72696e2a853253c0e5b949233a6fe2ce0f854 /doc/dir | |
| parent | 34ad43fd72f6d9780fd7fc97cb51bb4d82fcc0d9 (diff) | |
Documentation acknowleges use of three type of buffers:
script buffers, goal buffer and process buffer
Diffstat (limited to 'doc/dir')
0 files changed, 0 insertions, 0 deletions