diff admin/check-doc-strings @ 112310:e838cdd68eae

Use gnulib's getopt-gnu module.
author Paul Eggert <eggert@cs.ucla.edu>
date Sat, 08 Jan 2011 23:29:26 -0800
parents 4e2606f6ee72
children dd7c098af727 ef719132ddfa
line wrap: on
line diff