player: timer: don't use negative length
[vlc.git] / contrib / src / dvbpsi / 
treedfd70396b1c187628cac182a664d8ab50424217d
drwxr-xr-x   ..
-rw-r--r-- 3089 0001-really-identify-duplicates.patch
-rw-r--r-- 922 0001-really-set-last-section-number.patch
-rw-r--r-- 762 0002-really-reset-packet-counter.patch
-rw-r--r-- 154 SHA512SUMS
-rw-r--r-- 418 dvbpsi-noexamples.patch
-rw-r--r-- 403 dvbpsi-sys-types.patch
-rw-r--r-- 891 rules.mak