add sprinkles of number signs to text saves; closes #195 #196

Merged
dominik merged 1 commits from issue195-save_format into master 2023-12-30 17:35:17 +00:00
Member
No description provided.
dominik added 1 commit 2023-12-30 17:35:08 +00:00
dominik merged commit 5ad6456b16 into master 2023-12-30 17:35:17 +00:00
dominik deleted branch issue195-save_format 2023-12-30 17:35:18 +00:00
Sign in to join this conversation.
No description provided.