From 5c878558e03a3b2ae2de09f6cf1b9211696b284a Mon Sep 17 00:00:00 2001 From: "Dirk-Jan C. Binnema" Date: Mon, 3 Jul 2023 22:42:57 +0300 Subject: [PATCH] thirdparty: move {optional,expected}.hpp to tl/ Follow upstream naming. --- lib/thirdparty/{ => tl}/expected.hpp | 0 lib/thirdparty/{ => tl}/optional.hpp | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename lib/thirdparty/{ => tl}/expected.hpp (100%) rename lib/thirdparty/{ => tl}/optional.hpp (100%) diff --git a/lib/thirdparty/expected.hpp b/lib/thirdparty/tl/expected.hpp similarity index 100% rename from lib/thirdparty/expected.hpp rename to lib/thirdparty/tl/expected.hpp diff --git a/lib/thirdparty/optional.hpp b/lib/thirdparty/tl/optional.hpp similarity index 100% rename from lib/thirdparty/optional.hpp rename to lib/thirdparty/tl/optional.hpp