mirror of
https://github.com/davatorium/rofi.git
synced 2025-10-30 23:47:19 -04:00
* Store port number in history.
* Parse the [host]:port format.
* Update default ssh command to (optionally) add -p {port}.
Fixes: #580
|
||
|---|---|---|
| .. | ||
| config.c | ||