| delete_pool - delete a pool |
#include <pool.h> void delete_pool (pool); |
| Delete a pool or subpool. This also deletes any subpools that the pool may own (and recursively subpools of those subpools, etc.) |
| Richard Jones <rich@annexia.org> |
| GNU LGPL (see http://www.gnu.org/) |
| c2lib-1.2.13 |