Skip to content

Fix wrong key name in unknown decoration option error#1375

Merged
muzimuzhi merged 2 commits intopgf-tikz:masterfrom muzimuzhi:gh1082-unknown-decorationDec 5, 2024

Commits

Commits on Dec 5, 2024