comparison DOCS/encoding.html @ 5395:c8e3d5241531

applied Diego's patch
author gabucino
date Fri, 29 Mar 2002 22:34:12 +0000
parents 1a7fd8f13ac0
children e9aac7e08638
comparison
equal deleted inserted replaced
5394:cc405b698747 5395:c8e3d5241531