diff options
Diffstat (limited to 'doc/intro.9.txt')
| -rw-r--r-- | doc/intro.9.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/intro.9.txt b/doc/intro.9.txt index 281db50e..6fcd9618 100644 --- a/doc/intro.9.txt +++ b/doc/intro.9.txt @@ -153,6 +153,8 @@ module:kern/list:: Doubly-linked list. module:kern/macros:: Useful generic macros. +module:kern/perfmon:: + Performance monitoring. module:kern/rbtree:: Red-black tree. module:kern/rdxtree:: |