From 77f58e5dab14dbddc380ab414c4273ae8e6625c5 Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Fri, 24 Feb 2023 17:32:34 -0300
Subject: [PATCH] Remove a space

---
 server.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/server.py b/server.py
index 14966573..2df5f7e6 100644
--- a/server.py
+++ b/server.py
@@ -305,7 +305,6 @@ elif shared.args.notebook:
 
         shared.gradio['Generate'] = gr.Button('Generate')
         shared.gradio['Stop'] = gr.Button('Stop')
-
         shared.gradio['max_new_tokens'] = gr.Slider(minimum=shared.settings['max_new_tokens_min'], maximum=shared.settings['max_new_tokens_max'], step=1, label='max_new_tokens', value=shared.settings['max_new_tokens'])
 
         create_settings_menus()