diff debian/clean @ 35870:26ad65a4e47d

Free memory allocated for fsHistory[] elements when GUI ends.
author ib
date Fri, 15 Mar 2013 01:50:52 +0000
parents c9f9a077d760
children
line wrap: on
line diff