mirror of
https://github.com/davatorium/rofi.git
synced 2024-11-18 13:54:36 -05:00
Minor comment fix.
This commit is contained in:
parent
07dfc171e3
commit
6fc18a21f1
1 changed files with 1 additions and 1 deletions
|
@ -166,7 +166,7 @@ static char ** get_ssh ( unsigned int *length )
|
|||
continue;
|
||||
}
|
||||
|
||||
// Do we have seen this host name already?
|
||||
// Is this host name already in the history file?
|
||||
// This is a nice little penalty, but doable? time will tell.
|
||||
// given num_favorites is max 25.
|
||||
int found = 0;
|
||||
|
|
Loading…
Reference in a new issue