From 563f7fd9001327361c6e489da9fbf4cfcb78051d Mon Sep 17 00:00:00 2001 From: Li Date: Mon, 10 Oct 2022 13:24:53 +1300 Subject: [PATCH] Indent --- devtools.php | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/devtools.php b/devtools.php index 6a52b17..8381306 100755 --- a/devtools.php +++ b/devtools.php @@ -327,19 +327,19 @@ function getIcon(string $file) elseif($type == "psm-sdk-doc") { ?> - - - - English Docs - - + + + + English Docs + + - - - - Japanese Docs - - + + + + Japanese Docs + +