diff BUGS @ 38436:b174db545cfd

Some fixes to follow coding conventions.
author Pavel Janík <Pavel@Janik.cz>
date Mon, 16 Jul 2001 12:23:00 +0000
parents af68d12218d0
children 8ce686bd7f4f
line wrap: on
line diff