fix logoname with dot problem #424

Merged

viennet merged 1 commits from jmplace/ScoDoc-Lille:fix_logoname_with_dot into master 2022-07-02 10:57:55 +02:00

Conversation 1 Commits 1 Files Changed 2 +5 -2

1 Commits

Author	SHA1	Message	Date
Jean-Marie PLACE	bc11f97354	fix logoname with dot problem	2022-07-02 10:53:56 +02:00