texture cache is a priority cache that deletes textures when they are pushed out...
authorClaude Heiland-Allen <claudiusmaximus@goto10.org>
Mon, 5 Jul 2010 22:30:23 +0000 (23:30 +0100)
committerClaude Heiland-Allen <claudiusmaximus@goto10.org>
Mon, 5 Jul 2010 22:30:23 +0000 (23:30 +0100)
commit57987fbfdb3c353b2e1d7aa09a22e49077787172
tree6c01c31c21cf2f30b5573827f71735871c2928b3
parent602eb0394e4665347248b7ae0014729e2934bc88
texture cache is a priority cache that deletes textures when they are pushed out of the cache
TextureCache.hs [new file with mode: 0644]