mirror of
https://github.com/davatorium/rofi.git
synced 2024-11-11 13:50:48 -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. |
||
---|---|---|
.. | ||
create_screenshot.sh | ||
README | ||
rofi-manpage.markdown | ||
rofi-sensible-terminal.1 | ||
rofi.1 | ||
rofi.png | ||
sizing.svg |
Update manpage using md2man md2man-roff rofi-manpage.markdown > rofi.1