Found in "gnokii-working" directory, some November-patches version marked_working
[gnokii.git] / include / win32 /
drwxr-xr-x   ..
-rw-r--r-- 4376 getopt.h
-rw-r--r-- 338 winserial.h