diff options
| author | Samuel Martin <s.martin49@gmail.com> | 2013-10-18 22:31:29 +0200 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2013-11-01 17:07:10 +0100 |
| commit | 1e4d9eb2d337341690fced3316ff8c81bd8df564 (patch) | |
| tree | 46f300118b28a1f4d5374de158db8faf2bd28fe1 /docs | |
| parent | 67feb0e7593af124088f8b4886da4e50cbfa8168 (diff) | |
manual: developer-guide.txt: cleanup non-existing source
[Thomas: Added ThomasDS Acked-by, which was given on an earlier
version of the same patch.]
Signed-off-by: Samuel Martin <s.martin49@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Acked-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Diffstat (limited to 'docs')
| -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 43272f567..8125ad5ca 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[] |