From efb772c400ebe6b1f4470f477bd3a513ea032849 Mon Sep 17 00:00:00 2001 From: Camillo Bruni Date: Mon, 29 Aug 2022 16:10:19 +0200 Subject: [PATCH] [tools] Fix index.html links Change-Id: I8570c748a9e4e509b0f609fcbb6aa37a3a986971 No-Presubmit: true No-Tree-Checks: true No-Try: true Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3862267 Reviewed-by: Victor Gomes Commit-Queue: Camillo Bruni Cr-Commit-Position: refs/heads/main@{#82781} --- tools/index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/index.html b/tools/index.html index e13fdcadcb..bc7a5e48b5 100644 --- a/tools/index.html +++ b/tools/index.html @@ -42,13 +42,13 @@ dd, dt {