Skip to content

Fix #1587: the option shell.buildInputs does not exist ...#1598

Merged
yvan-sraka merged 2 commits intomasterfrom
1587-the-option-shellbuildinputs-does-not-exist
Aug 18, 2022
Merged

Fix #1587: the option `shell.buildInputs` does not exist ...#1598
yvan-sraka merged 2 commits intomasterfrom
1587-the-option-shellbuildinputs-does-not-exist

Commits

Commits on Aug 18, 2022