diff --git a/.mps/migration.xml b/.mps/migration.xml index d88115b1..a06e72c6 100644 --- a/.mps/migration.xml +++ b/.mps/migration.xml @@ -10,6 +10,7 @@ +