mirror of
https://github.com/davatorium/rofi.git
synced 2025-01-27 15:25:24 -05:00
f879062417
* Store port number in history. * Parse the [host]:port format. * Update default ssh command to (optionally) add -p {port}. Fixes: #580 |
||
---|---|---|
.. | ||
config.c |