From 3d985a998d002237ba40df4422aa2aab599d55c6 Mon Sep 17 00:00:00 2001 From: jose_morato Date: Thu, 27 Jun 2024 17:57:58 +0200 Subject: [PATCH] Use previous patch name --- .../{Format_FractionalSeconds.patch => RtpsDiscoveryConfig.patch} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Patches/{Format_FractionalSeconds.patch => RtpsDiscoveryConfig.patch} (100%) diff --git a/Patches/Format_FractionalSeconds.patch b/Patches/RtpsDiscoveryConfig.patch similarity index 100% rename from Patches/Format_FractionalSeconds.patch rename to Patches/RtpsDiscoveryConfig.patch