_initialize_inftarg

[Tom Tromey]

There are 3 functions in gdb named _initialize_inftarg:

    grep -n '^_initialize_inftarg' *.c /dev/null
    inftarg.c:839:_initialize_inftarg (void)
    win32-nat.c:1818:_initialize_inftarg (void)
    wince.c:1968:_initialize_inftarg (void)

I assume the win* ones are simply cut-and-paste error?

Tom