diff auto/options @ 1614:a0ec4734d2e9 stable-0.5

r1548 merge: add time and length to a HEAD request
author Igor Sysoev <igor@sysoev.ru>
date Mon, 29 Oct 2007 15:08:43 +0000
parents 7bdf156fc852
children ed9cd1702f7a
line wrap: on
line diff