diff finch/getopt1.c @ 19164:738404d087ff

Deleting a profile doesn't need to load the default profile.
author Sadrul Habib Chowdhury <imadil@gmail.com>
date Fri, 13 Jul 2007 12:01:06 +0000
parents 66dff3dfdea6
children a8cc50c2279f
line wrap: on
line diff