headers
Paul Eggert | 24 May 2012 08:15
Favicon

Re: [Patch] useless declaration of 'clip_changed'

Thanks, I pushed that into the trunk as bzr 108347.
Permalink | Reply |

Gmane