Change theme to rtd

Yann21 · Aug 18, 2023 · 7f9e7ad · 7f9e7ad
1 parent 223df57
commit 7f9e7ad
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -83,7 +83,7 @@
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 #
-html_theme = 'classic'
+html_theme = 'sphinx-rtd-theme'
 
 # Theme options are theme-specific and customize the look and feel of a
 # theme further.  For a list of options available for each theme, see the

diff --git a/yann_utils/utils.py b/yann_utils/utils.py
@@ -81,7 +81,7 @@ def multiprocess_apply(func, args, n_jobs: int = 8) -> List[Any]:
     return list(tqdm.tqdm(pool.imap(func, args), total=len(args)))
 
 
-def list_set(xs: List) -> List:
+def list_set(xs: List[O]) -> List[O]:
   """
   >>> list_set([1, 2, 3, 1, 2, 3])
   [1, 2, 3]