Found in "gnokii-working" directory, some November-patches version marked_working
[gnokii.git] / getopt /
drwxr-xr-x   ..
-rw-r--r-- 444 Makefile
-rw-r--r-- 21981 getopt.c
-rw-r--r-- 4632 getopt.h
-rw-r--r-- 4448 getopt1.c