Remove outdated docker section from INSTALL.md#3221
Open
SECtim wants to merge 1 commit intoFStarLang:masterfrom
Open
Remove outdated docker section from INSTALL.md#3221SECtim wants to merge 1 commit intoFStarLang:masterfrom
SECtim wants to merge 1 commit intoFStarLang:masterfrom
