tweak history description

This commit is contained in:
Robby Findler 2020-06-29 19:37:32 -05:00
parent ee773b2835
commit ced16f6868

View File

@ -1917,7 +1917,7 @@ syntax object for the expression that produces the contract controlling
the export.
@history[#:changed "7.3.0.3" @list{Added @racket[#:unprotected-submodule].}
#:changed "7.7.0.9" @list{Deprecated @racket[ignored-id].}]
#:changed "7.7.0.9" @list{Started ignoring @racket[ignored-id].}]
}
@defform[(recontract-out id ...)]{