From a21ef5dc792e5fdad303c71a7e7fa671c66bd4a5 Mon Sep 17 00:00:00 2001 From: ruki Date: Sat, 7 Apr 2018 00:57:39 +0800 Subject: fix pre --- manual.md | 4 ++-- zh/manual.md | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/manual.md b/manual.md index 81fc4acd..611046ed 100644 --- a/manual.md +++ b/manual.md @@ -2218,9 +2218,9 @@ set_tools { } ``` -
+

每次设置都会覆盖当前target目标下之前的那次设置,不同target之间不会被覆盖,互相独立,如果在根域设置,会影响所有子target。 -

+

或者可以使用[add_tools](#targetadd_tools)来设置: diff --git a/zh/manual.md b/zh/manual.md index 8189bd38..04fdf56d 100644 --- a/zh/manual.md +++ b/zh/manual.md @@ -2238,9 +2238,9 @@ set_tools { } ``` -
+

每次设置都会覆盖当前target目标下之前的那次设置,不同target之间不会被覆盖,互相独立,如果在根域设置,会影响所有子target。 -

+

或者可以使用[add_tools](#targetadd_tools)来设置: -- cgit v1.2.3