summaryrefslogtreecommitdiff
path: root/sandbox/texinfo.texi
diff options
context:
space:
mode:
authorpjrm <pjrm@web>2008-09-22 05:44:55 +0000
committerGNU Hurd wiki engine <web-hurd@gnu.org>2008-09-22 05:44:55 +0000
commit3b44aa0aa790cc501f15308f4d5b86c97f0ab0b6 (patch)
tree89b02d4a1972d3afcecc65e11f2874c1366777bb /sandbox/texinfo.texi
parentbb896d18594fe9f3176fe9b5cc12bd841794ffdd (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