diff options
Diffstat (limited to 'doc/kplato/definitions.docbook')
| -rw-r--r-- | doc/kplato/definitions.docbook | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/kplato/definitions.docbook b/doc/kplato/definitions.docbook index fb2e2cf7..2348857e 100644 --- a/doc/kplato/definitions.docbook +++ b/doc/kplato/definitions.docbook @@ -215,14 +215,3 @@ expected and pessimistic scheduling. </sect1> </chapter> - -<!-- -Local Variables: -mode: sgml -sgml-parent-document: ("index.docbook" "book" "chapter") -sgml-minimize-attributes:nil -sgml-general-insert-case:lower -sgml-indent-step:0 -sgml-indent-data:nil -End: ---> |