From 64f7a2aed61f16e267b0c80b7e40062a0e3a24af Mon Sep 17 00:00:00 2001 From: Sean Baxter Date: Mon, 14 Oct 2024 12:48:25 -0400 Subject: [PATCH] Fixed P3444R0 filenames --- docs/{P3444P0.html => P3444R0.html} | 0 lifetimes/{P3444P0.md => P3444R0.md} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename docs/{P3444P0.html => P3444R0.html} (100%) rename lifetimes/{P3444P0.md => P3444R0.md} (100%) diff --git a/docs/P3444P0.html b/docs/P3444R0.html similarity index 100% rename from docs/P3444P0.html rename to docs/P3444R0.html diff --git a/lifetimes/P3444P0.md b/lifetimes/P3444R0.md similarity index 100% rename from lifetimes/P3444P0.md rename to lifetimes/P3444R0.md