fix #104 Add check for dot symbol and warn user#110
Merged
MarioKrenn6240 merged 3 commits intoaspuru-guzik-group:masterfrom vandrw:masterNov 23, 2023
+12-3
Commits
Commits on Nov 15, 2023
- committedvandrw
Commits on Nov 19, 2023
- committedvandrw
Commits on Nov 21, 2023
- committedvandrw