diff debian/copyright @ 1840:3343a61f3262

Linux seems to need stdint.h for uintptr_t... Hopefully this won't break other platforms.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Tue, 20 Nov 2012 04:20:39 +0000
parents 6762e29938a2
children 1558f5e14f83
line wrap: on
line diff