steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add ui-tools link to tools article

db4
Slava Pestov 2009-01-10 23:41:50 -06:00
parent 8e273b6713
commit 342e459ebe
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
basis/help/handbook/handbook.factor
View File

@ -209,7 +209,8 @@ ARTICLE: "tools" "Developer tools"
{ $subsection "timing" } { $subsection "timing" }
{ $subsection "tools.disassembler" } { $subsection "tools.disassembler" }
"Deployment tools:" "Deployment tools:"
{ $subsection "tools.deploy" } ; { $subsection "tools.deploy" }
{ $see-also "ui-tools" } ;
ARTICLE: "article-index" "Article index" ARTICLE: "article-index" "Article index"
{ $index [ articles get keys ] } ; { $index [ articles get keys ] } ;