diff options
-rw-r--r-- | documentation/dev-manual/dev-manual-common-tasks.xml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index ce41a28..5070985 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml @@ -1590,17 +1590,6 @@ </section> </section> - - - - - - - - - - - <section id="patching-the-kernel"> <title>Patching the Kernel</title> |