diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-06 12:56:40 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-06 12:56:40 +0100 |
| commit | a3bbfa6bc8a3abd8dd3c56fd8fe975028f6fa005 (patch) | |
| tree | 0278b193ed71cba6128f7c330cd1b4237bf8def9 /microkernel/viengoos | |
| parent | daf515b3117746bc50e3d839496f57a302ef0a0d (diff) | |
Integrate whatis/translator.html.
Diffstat (limited to 'microkernel/viengoos')
0 files changed, 0 insertions, 0 deletions