diff options
| -rw-r--r-- | docs/manual/developer-guide.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/manual/developer-guide.txt b/docs/manual/developer-guide.txt index 43272f5676..8125ad5ca3 100644 --- a/docs/manual/developer-guide.txt +++ b/docs/manual/developer-guide.txt @@ -11,5 +11,3 @@ include::adding-packages.txt[] include::patch-policy.txt[] include::download-infra.txt[] - -include::board-support.txt[] |
