Min RK 6a72ad8ca5 Merge pull request #4737 from minrk/rm-double-doc ...

avoid duplicate jupyterhub installation for docs

2024-03-22 09:06:55 +01:00

..

source

docs: fix unrelated rendering error

2024-03-21 20:08:59 +00:00

generate-metrics.py

switch generate-metrics to markdown

2022-12-07 09:02:09 +01:00

make.bat

docs: refresh Makefile/make.bat

2022-12-07 21:24:59 +01:00

Makefile

docs: refresh Makefile/make.bat

2022-12-07 21:24:59 +01:00

requirements.txt

avoid duplicate jupyterhub installation

2024-03-20 12:27:51 +01:00

test_docs.py

Fix git CLI flag ordering

2022-01-10 10:33:23 +01:00