*** empty log message ***
[selector.git] / selector.cc
index f1e60c0..0f71d64 100644 (file)
@@ -53,7 +53,7 @@ int with_colors = 1;
 
 //////////////////////////////////////////////////////////////////////
 
 
 //////////////////////////////////////////////////////////////////////
 
-// This looks severly Linux-only ...
+// This looks severely Linux-only ...
 
 void inject_into_tty_buffer(char *line) {
   char *tty = ttyname(STDIN_FILENO);
 
 void inject_into_tty_buffer(char *line) {
   char *tty = ttyname(STDIN_FILENO);