diff --git a/shell/shell.rc b/shell/shell.rc index e8e8cff30..cf624804b 100644 --- a/shell/shell.rc +++ b/shell/shell.rc @@ -13,6 +13,9 @@ +