Renames the document for a more appropriate name

Baltasarq · Apr 4, 2024 · ef11525 · ef11525
1 parent de4caa7
commit ef11525
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/design/docs/MIGRAPP_alg.pdf b/design/docs/MIGRAPP_alg.pdf