Merge requests · plotID / plotID_python · GitLab

Skip to content

GitLab

Explore

Sign in

Open 0
Merged 4
Closed 1
All 5

Loading

Enable customization of plotted IDs

!60 · created Dec 22, 2022 by Mayr, Hannes Version 0.3.0 new-year-developments
effortmed feature improvement prioritymedium statusto do
- Merged
- 1
updated Jan 10, 2023
Resolve "Type hints"

!54 · created Nov 29, 2022 by Mayr, Hannes dev
doc improvement prioritymedium statusdoing
- Merged
- 5
updated Dec 14, 2022
Fix documentation build

!51 · created Nov 22, 2022 by Mayr, Hannes Version 0.3.0 dev
doc prioritymedium statusto do
- Merged
- 1
- Approved
updated Nov 23, 2022
Resolve "Default name for exported plots"

!48 · created Nov 18, 2022 by Mayr, Hannes Version 0.3.0 dev
Idea effortlow improvement prioritymedium statusto do
- Merged
- Approved
updated Nov 23, 2022