update cmi file

rettinghaus · Sep 22, 2019 · 7c21210 · 7c21210
1 parent b2aae2d
commit 7c21210
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/NicolaiLetters.xml b/NicolaiLetters.xml
diff --git a/docs/NicolaiLetters.xml b/docs/NicolaiLetters.xml