From d4e7a776a2dfb8a8ef6143b695ebda92b0e3a5d7 Mon Sep 17 00:00:00 2001
From: tqcq <99722391+tqcq@users.noreply.github.com>
Date: Fri, 5 Jan 2024 13:43:59 +0800
Subject: [PATCH] update optionial name

---
 3party/optional/{optional.hpp => optional.h} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename 3party/optional/{optional.hpp => optional.h} (100%)

diff --git a/3party/optional/optional.hpp b/3party/optional/optional.h
similarity index 100%
rename from 3party/optional/optional.hpp
rename to 3party/optional/optional.h