Johann fce8f063e3 Use vpx_integer.h instead of stdint.h
vpx_integer accounts for win32, which does not have stdint.h

Change-Id: I0ecf243ba56ed2e920e1293a6876c2e1ef1af99e
2012-07-24 10:19:44 -07:00
..
2012-07-20 11:45:23 -07:00
2012-07-20 14:29:35 -07:00
2012-07-23 16:21:29 -07:00
2012-06-23 11:20:41 -07:00
2012-05-24 09:38:39 -07:00
2012-07-24 10:48:44 +01:00
2012-06-23 11:20:41 -07:00
2012-07-24 10:48:44 +01:00
2012-07-23 16:19:05 -07:00