From 35591cc13bb6dde3ecfeb12f20fa0b4878921f07 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Tue, 13 Feb 2018 11:44:32 -0800 Subject: [PATCH] fix couple more typos in docs. --- basis/mime/types/types-docs.factor | 2 +- basis/ui/tools/listener/history/history-docs.factor | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/basis/mime/types/types-docs.factor b/basis/mime/types/types-docs.factor index 26a139b195..76594168b4 100644 --- a/basis/mime/types/types-docs.factor +++ b/basis/mime/types/types-docs.factor @@ -13,7 +13,7 @@ HELP: mime-type { $values { "filename" "a filename" } { "mime-type" "a MIME type string" } } -{ $description "Outputs the MIME type associtated with a path by parsing the path's file extension and looking it up in the table returned by " { $link mime-types } "." } ; +{ $description "Outputs the MIME type associated with a path by parsing the path's file extension and looking it up in the table returned by " { $link mime-types } "." } ; HELP: mime-types { $values diff --git a/basis/ui/tools/listener/history/history-docs.factor b/basis/ui/tools/listener/history/history-docs.factor index dceee18ea7..4fadef5f1c 100644 --- a/basis/ui/tools/listener/history/history-docs.factor +++ b/basis/ui/tools/listener/history/history-docs.factor @@ -3,4 +3,4 @@ IN: ui.tools.listener.history HELP: history-add { $values { "history" history } { "input" input } } -{ $description "Adds the historys documents current value to the history." } ; +{ $description "Adds the current input to the history, if not already the most recent history element." } ;