From e540cdefc0a04e34038a59b9edc2e3cd666ba644 Mon Sep 17 00:00:00 2001 From: Foudre Date: Tue, 29 Apr 2025 23:06:26 +0200 Subject: [PATCH] rename proof --- ...ormat_icmp_down_v0.1.json => proof_format_icmp_down_v0.1.json} | 0 ...of_format_icmp_up_v0.1.json => proof_format_icmp_up_v0.1.json} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename specs/{prof_format_icmp_down_v0.1.json => proof_format_icmp_down_v0.1.json} (100%) rename specs/{prof_format_icmp_up_v0.1.json => proof_format_icmp_up_v0.1.json} (100%) diff --git a/specs/prof_format_icmp_down_v0.1.json b/specs/proof_format_icmp_down_v0.1.json similarity index 100% rename from specs/prof_format_icmp_down_v0.1.json rename to specs/proof_format_icmp_down_v0.1.json diff --git a/specs/prof_format_icmp_up_v0.1.json b/specs/proof_format_icmp_up_v0.1.json similarity index 100% rename from specs/prof_format_icmp_up_v0.1.json rename to specs/proof_format_icmp_up_v0.1.json