Searched refs:float_info (Results 1 – 1 of 1) sorted by relevance
81 static void float_info (char *, int);1949 float_info (char *args, int from_tty) in float_info() function2151 add_info ("float", float_info, in _initialize_infcmd()