brew

Oct 29, 2023

d8e2c8d · Oct 29, 2023

Name	Name	Last commit message	Last commit date
parent directory ..
brew.env	brew.env	Adapt brew configuration for new and old versions	Oct 29, 2023
brew.rc.sh	brew.rc.sh	Adapt brew configuration for new and old versions	Oct 29, 2023
configure.sh	configure.sh	Fix installation command for brew	Oct 29, 2023

Provide feedback