Remove substitutions #11

Merged
GeBo1 merged 2 commits from master into master 2019-11-02 18:40:49 +00:00
GeBo1 commented 2019-11-02 15:26:20 +00:00 (Migrated from github.com)
No description provided.
Commenting is not possible because the repository is archived.
No description provided.