File tree 4 files changed +12
-2
lines changed
4 files changed +12
-2
lines changed Original file line number Diff line number Diff line change @@ -771,7 +771,7 @@ WARN_LOGFILE =
771
771
# spaces. See also FILE_PATTERNS and EXTENSION_MAPPING
772
772
# Note: If this tag is empty the current directory is searched.
773
773
774
- INPUT =
774
+ INPUT = . wiki
775
775
776
776
# This tag can be used to specify the character encoding of the source files
777
777
# that doxygen parses. Internally doxygen uses the UTF-8 encoding. Doxygen uses
Original file line number Diff line number Diff line change 3
3
<!-- Navigation index tabs for HTML output -->
4
4
<navindex >
5
5
<tab type =" mainpage" visible =" yes" title =" " />
6
- <tab type =" pages" visible =" yes " title =" " intro =" " />
6
+ <tab type =" pages" visible =" no " title =" " intro =" " />
7
7
<tab type =" user" visible =" yes" url =" @ref api" title =" Arachne Public API" intro =" " />
8
+ <tab type =" user" visible =" yes" url =" md_wiki_Main.html" title =" Design Wiki" intro =" " />
8
9
<tab type =" namespaces" visible =" yes" title =" " >
9
10
<tab type =" namespacelist" visible =" yes" title =" " intro =" " />
10
11
<tab type =" namespacemembers" visible =" yes" title =" " intro =" " />
Original file line number Diff line number Diff line change
1
+ # Arachne Kernel API Design
Original file line number Diff line number Diff line change
1
+ # Arachne Design Wiki
2
+
3
+ This wiki will be used to record design discussions, decisions, and open
4
+ questions related to both the user and kernel sides of the Arachne system.
5
+
6
+ # Current Topics
7
+
8
+ - [ Kernel API & Core Negotiation Protocol] ( wiki/KernelAPI.md )
You can’t perform that action at this time.
0 commit comments