diff debian/config @ 10384:2623d03b98e5

Sort options alphabetically.
author diego
date Sun, 06 Jul 2003 12:37:39 +0000
parents 6746866a94c6
children a5bef61f49bf
line wrap: on
line diff