2023-05-14 00:21:16 +02:00
|
|
|
/* See LICENSE file for copyright and license details. */
|
2023-03-02 16:06:11 +01:00
|
|
|
static void readargs(int argc, char *argv[]);
|
2023-05-19 01:44:11 +02:00
|
|
|
static void usage(int status);
|
2023-06-12 17:09:34 +02:00
|
|
|
static void comp_opts(void);
|