migration: Move migration_properties to options.c
commitf9436522c8dd35a51f6d796501de7fd4d4928481
authorJuan Quintela <quintela@redhat.com>
Thu, 2 Mar 2023 11:55:57 +0000 (2 12:55 +0100)
committerJuan Quintela <quintela@redhat.com>
Thu, 27 Apr 2023 14:37:28 +0000 (27 16:37 +0200)
treeb4a4fca92f919342f1859f5608576239c7aa72cc
parentb804b35b1c8a0edfd127ac20819c234be55ac7fc
migration: Move migration_properties to options.c

Signed-off-by: Juan Quintela <quintela@redhat.com>
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@yandex-team.ru>
migration/migration.c
migration/options.c
migration/options.h