Shorten wpiformat config (#8427)

2026-07-01 02:41:48 +00:00 · 2025-11-27 17:30:06 -08:00
parent a802855e0c
commit b482fa02df
8 changed files with 30 additions and 88 deletions
--- a/wpiutil/src/main/native/include/wpi/util/fs.hpp
+++ b/wpiutil/src/main/native/include/wpi/util/fs.hpp
@@ -15,7 +15,6 @@

 #include <filesystem>
 #include <fstream>
-#include <string_view>
 #include <system_error>

 namespace fs {