diff TOOLS/cache.c @ 9596:7b4a17c415fb

Same behaviour as old code for short headers
author rtognimp
date Sat, 15 Mar 2003 19:40:52 +0000
parents b3385775390d
children
line wrap: on
line diff