Skip to content

lint.py now prints all headers found in a notebook.#45

Open
jckantor wants to merge 2 commits intomainfrom
kantor
Open

lint.py now prints all headers found in a notebook.#45
jckantor wants to merge 2 commits intomainfrom
kantor

Commits

Commits on Jul 9, 2022

Commits on Jul 10, 2022