tree 0d8a1c8a6958d9c0b889d215b8550e510e89abf8
parent cb26451550ee7a9e321cc2fc1cc337579797ec30
author Miklos Szeredi <miklos@szeredi.hu> 1088110800 +0000
committer Miklos Szeredi <miklos@szeredi.hu> 1088110800 +0000

close after delete support