Merge dev with main #27

Merged
8464960 merged 89 commits from dev into main 2026-01-28 10:54:23 +00:00
3 changed files with 5 additions and 2 deletions
Showing only changes of commit cec29f6206 - Show all commits

3
.gitignore vendored
View File

@@ -217,3 +217,6 @@ __marimo__/
.DS_Store
# Docs
docs/*
!docs/conf.py

View File

@@ -172,4 +172,4 @@ make html
### Windows
```bash
.\make.bat html
```
```

View File

@@ -4,4 +4,4 @@ pytest<5
pytest-mock<3.0.0
pytest-cov<3.0.0
sphinx
sphinx_rtd_theme
sphinx_rtd_theme