HomeSource World

Merge pull request #93332 from wamserma/docs-remove-replace-link

Description

Merge pull request #93332 from wamserma/docs-remove-replace-link

docs.stdenv: remove reference to replace tool

Details

Event Timeline

GitHub <noreply@github.com> committed rNIXPKGSf1d01c9d585b: Merge pull request #93332 from wamserma/docs-remove-replace-link (authored by Doron Behar <doron.behar@gmail.com>).Sep 26 2020, 4:20 PM