typo
authorChristian Grothoff <christian@grothoff.org>
Mon, 4 Jun 2018 21:26:12 +0000 (23:26 +0200)
committerChristian Grothoff <christian@grothoff.org>
Tue, 5 Jun 2018 07:33:08 +0000 (09:33 +0200)
commit16952fae55657c0a99274560363a60108ff1d220
tree9cfe3947161884d433e9f0e5e7fbff6a0b152b3f
parent1f083a4593b1f07dcf24549853963dedde7f4d02
typo
src/util/getopt_helpers.c