diff DOCS/de/encoding.html @ 10385:efa8e2fb2262

Set default indentation depth to 5. Add trailing spaces to options that are too short to get indented.
author diego
date Sun, 06 Jul 2003 12:43:28 +0000
parents 0fe056bdb135
children a5785a0b9ee1
line wrap: on
line diff