log lib/count-leading-zeros.c @ 17429:88b6febaed97

age author description
Tue, 20 Nov 2012 22:25:05 -0800 Paul Eggert count-leading-zeros: better 'inline'