not needed for good style
authorChristian Grothoff <christian@grothoff.org>
Fri, 18 Jun 2010 16:35:28 +0000 (16:35 +0000)
committerChristian Grothoff <christian@grothoff.org>
Fri, 18 Jun 2010 16:35:28 +0000 (16:35 +0000)
commit3c907f37c372d0cf35f5cb5f5fc4961a2fd8ef44
treea1f50bc5a1ca909af4d0e54f1d70f54d67c3eb77
parent5de4d2e77f907cb3d2d734fe1d7eafa943b1d001
not needed for good style
src/util/getopt.c