299 |
Known_location _ -> M.fT_tx_direct |
Known_location _ -> M.fT_tx_direct |
300 |
| _ -> "") |
| _ -> "") |
301 |
| Col_client_rating -> string_of_int f.gclient_rating |
| Col_client_rating -> string_of_int f.gclient_rating |
302 |
| Col_client_connect_time -> Gui_graph.time_to_string (f.gclient_connect_time) |
| Col_client_connect_time -> Date.time_to_string_long (f.gclient_connect_time) |
303 |
| Col_client_software -> f.gclient_software |
| Col_client_software -> f.gclient_software |
304 |
| Col_client_release -> f.gclient_release |
| Col_client_release -> f.gclient_release |
305 |
| Col_client_emulemod -> f.gclient_emulemod |
| Col_client_emulemod -> f.gclient_emulemod |