mirror of
https://gitlab.com/animath/si/plateforme.git
synced 2025-06-17 15:39:48 +02:00
Fix notation sheet when there is no observer
This commit is contained in:
parent
56aad288f4
commit
efeb2628ad