diff auto/os/linux @ 5437:dea321e5c021

Win32: plugged memory leak.
author Maxim Dounin <mdounin@mdounin.ru>
date Thu, 31 Oct 2013 18:23:49 +0400
parents 36b58ddb566d
children adba26ff70b5
line wrap: on
line diff