comparison osdep/timer-linux.c @ 32176:597a376752a7

Update URL to patch for new API support.
author diego
date Thu, 16 Sep 2010 11:05:42 +0000
parents 1453fc56d49c
children 514016233368
comparison
equal deleted inserted replaced
32175:f002b9d0f4d1 32176:597a376752a7