diff options
| -rw-r--r-- | devel/script/2_keys.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/script/2_keys.xml b/devel/script/2_keys.xml index 7336aa9..df70242 100644 --- a/devel/script/2_keys.xml +++ b/devel/script/2_keys.xml @@ -197,6 +197,7 @@ arch ppc </example> </para> </formalpara> + </section> <section id="language"> <title><literal>language</literal></title> <formalpara id="language.name"> |