mirror of
https://github.com/davatorium/rofi.git
synced 2025-02-17 15:45:56 -05:00
![]() For humans who like to keep the list of available servers clean. Also useful if you use different names in ~/.ssh/config. The previous default of always parsing known_hosts is not changed. |
||
---|---|---|
.. | ||
config.def.c |