1
0
mirror of https://git.tartarus.org/simon/putty.git synced 2025-04-16 02:28:05 -05:00
Ben Harris 30cdaa7ca8 unix: make select_result() return void.
Nothing was using its return value anyway.
2017-05-14 16:34:48 +01:00
..
2017-04-30 12:06:17 +01:00
2017-05-14 16:34:48 +01:00
2015-05-15 12:47:44 +01:00