diff options
| -rw-r--r-- | MANIFEST | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -166,6 +166,7 @@ ./doc/html/TechNotes/NamingScheme.html ./doc/html/TechNotes/ObjectHeader.html ./doc/html/TechNotes/RawDStorage.html +./doc/html/TechNotes/SWControls.html ./doc/html/TechNotes/SymbolTables.html ./doc/html/TechNotes/Version.html ./doc/html/TechNotes/pipe1.gif |