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