mirror of
https://github.com/davatorium/rofi.git
synced 2024-11-18 13:54:36 -05:00
9cb0073ce8
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. |
||
---|---|---|
.. | ||
dialogs | ||
helper.c | ||
history.c | ||
i3-support.c | ||
keyb.c | ||
rofi.c | ||
scrollbar.c | ||
textbox.c | ||
x11-helper.c | ||
xrmoptions.c |