From 5dd483dc00e0926a9114180409c7c1771f25c0e2 Mon Sep 17 00:00:00 2001 From: Moritz Maxeiner <mm@ucw.sh> Date: Fri, 4 Sep 2020 14:42:34 +0200 Subject: [PATCH] [jupyterhub] cleanup --- jupyterhub/base/commands.jupyterlab-settings | 3 --- jupyterhub/base/themes.jupyterlab-settings | 3 --- 2 files changed, 6 deletions(-) delete mode 100755 jupyterhub/base/commands.jupyterlab-settings delete mode 100755 jupyterhub/base/themes.jupyterlab-settings diff --git a/jupyterhub/base/commands.jupyterlab-settings b/jupyterhub/base/commands.jupyterlab-settings deleted file mode 100755 index e954c54..0000000 --- a/jupyterhub/base/commands.jupyterlab-settings +++ /dev/null @@ -1,3 +0,0 @@ -{ - "theme": "jupyter" -} \ No newline at end of file diff --git a/jupyterhub/base/themes.jupyterlab-settings b/jupyterhub/base/themes.jupyterlab-settings deleted file mode 100755 index b71898f..0000000 --- a/jupyterhub/base/themes.jupyterlab-settings +++ /dev/null @@ -1,3 +0,0 @@ -{ - "theme": "JupyterLab Dark" -} \ No newline at end of file -- GitLab