diff debian/menu @ 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 5bbf7a829280
children 1856b9bfdc09
line wrap: on
line diff