]> gitweb.factorcode.org Git - factor.git/blobdiff - unmaintained/4DNav/deep/deep-docs.factor
Merge branch 'master' of git://factorcode.org/git/factor
[factor.git] / unmaintained / 4DNav / deep / deep-docs.factor
index 0332f77e668b20a534cc98de04f16eaca465aa55..78439c6c0f0bca2b0dc32d54c11c9c7b3b55de2b 100755 (executable)
@@ -24,7 +24,7 @@ IN: 4DNav.deep
 ! } }
 ! ;
 
-ARTICLE: "4DNav.deep" "4DNav.deep"
+ARTICLE: "4DNav.deep" "Deep"
 { $vocab-link "4DNav.deep" }
 ;