diff auto/os/linux @ 3969:3ea15c6b16da

fix r3968
author Igor Sysoev <igor@sysoev.ru>
date Sun, 24 Jul 2011 19:43:52 +0000
parents 7c80f584c3a9
children 4068898a6a7c
line wrap: on
line diff