diff options
author | pjrm <pjrm@web> | 2008-09-22 05:44:55 +0000 |
---|---|---|
committer | GNU Hurd wiki engine <web-hurd@gnu.org> | 2008-09-22 05:44:55 +0000 |
commit | 3b44aa0aa790cc501f15308f4d5b86c97f0ab0b6 (patch) | |
tree | 89b02d4a1972d3afcecc65e11f2874c1366777bb /sandbox/texinfo.texi | |
parent | bb896d18594fe9f3176fe9b5cc12bd841794ffdd (diff) |
Add link to L4 verification. (Feel free to move to a better page, e.g. up a level once it has some other text.)
Diffstat (limited to 'sandbox/texinfo.texi')
0 files changed, 0 insertions, 0 deletions