kernel/sources

0ecbaf65c00374eb4a826c2f9f37606f  linux-3.13.tar.xz
732d1952898b28d5ccc264cad77b0619  perf-man-3.13.tar.gz
fcecf261f378716c88e4b32a26830ecd  patch-3.13-git19.xz
Linux v3.13 - Disable debugging options. - Use versioned perf man pages tarball 2014-01-20 15:36:55 +00:00			`0ecbaf65c00374eb4a826c2f9f37606f linux-3.13.tar.xz`
			`732d1952898b28d5ccc264cad77b0619 perf-man-3.13.tar.gz`
Linux v3.13-10637-ge7651b8 - Enable ZRAM/ZSMALLOC (rhbz 1058072) - Turn EXYNOS_HDMI back on now that it should build 2014-01-31 13:38:20 +00:00			`fcecf261f378716c88e4b32a26830ecd patch-3.13-git19.xz`