diff options
| author | Marc G. Fournier <scrappy@hub.org> | 1997-01-23 19:43:23 +0000 |
|---|---|---|
| committer | Marc G. Fournier <scrappy@hub.org> | 1997-01-23 19:43:23 +0000 |
| commit | 37a8bdba4396ae0cc89233f4355456481b388cae (patch) | |
| tree | 1873c84003199c16da8cf155f84b3c9a49a6e500 /src/tutorial/basics.source | |
| parent | 5184bd7cb3227201b782df8b962dc9540bfdce5f (diff) | |
The second patch adds a more explicative error message to BufferPoolCheckLeak.
It should be completely harmless.
Submitted by: Massimo Dal Zotto <dz@cs.unitn.it>
Diffstat (limited to 'src/tutorial/basics.source')
0 files changed, 0 insertions, 0 deletions