Properly highlight docstrings - #83
Open
wmvanvliet wants to merge 5 commits into
Open
wmvanvliet wants to merge 5 commits into
wmvanvliet wants to merge 5 commits into
Commits
Commits on Apr 13, 2021
- committed
- committed
- committed
Commits on Jan 20, 2023
Commits on Mar 3, 2025
- committed