comparison README @ 7575:e3e8090cb46a

remove unused allocations during (full) canonicalization
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 31 Jan 2013 16:12:41 +0100
parents a61af66fc99e
children
comparison
equal deleted inserted replaced
7574:3a8b3b03ffa0 7575:e3e8090cb46a