diff options
| author | jordi.saludes <jordi.saludes@upc.edu> | 2010-07-16 13:17:49 +0000 |
|---|---|---|
| committer | jordi.saludes <jordi.saludes@upc.edu> | 2010-07-16 13:17:49 +0000 |
| commit | f715e053b9d3ab80fdb5cdd71ae972e07b145501 (patch) | |
| tree | 476149f52c76979a757a0c49cd93c547713c3ff1 /src/server/Setup.hs | |
| parent | 5b14dd8da59f2da305004ef7b9ab28b21b8f4df8 (diff) | |
Freeing StablePtr's in PyGF.
Diffstat (limited to 'src/server/Setup.hs')
0 files changed, 0 insertions, 0 deletions