tweak header-comment
authorMike Taylor <mike@indexdata.com>
Mon, 2 Dec 2002 15:55:57 +0000 (15:55 +0000)
committerMike Taylor <mike@indexdata.com>
Mon, 2 Dec 2002 15:55:57 +0000 (15:55 +0000)
commite9a1f1ebdf02adef274a499228a3353ef0ab31af
tree798ed88f72f5b43ad98e869d66c9aeaa5e406724
parent0e9137189b8591385dbfc9daaa023085c7245194
tweak header-comment
zoom/master-header