diff BUGS @ 42497:4c6b45c79a59

Fix header.
author Pavel Janík <Pavel@Janik.cz>
date Thu, 03 Jan 2002 08:43:09 +0000
parents af68d12218d0
children 8ce686bd7f4f
line wrap: on
line diff