diff options
Diffstat (limited to 'appendixa/procinfo.sgml')
-rw-r--r-- | appendixa/procinfo.sgml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/appendixa/procinfo.sgml b/appendixa/procinfo.sgml deleted file mode 100644 index 74a89ad7c..000000000 --- a/appendixa/procinfo.sgml +++ /dev/null @@ -1,7 +0,0 @@ -<sect1 id="aa-procinfo"> -<title>Procinfo</title> - -&aa-procinfo-desc; - -</sect1> - |