[nanvix] .nanvix/config: drop dead toolchain_paths / configure_env helpers#746
Open
esaurez wants to merge 1 commit into
Open
[nanvix] .nanvix/config: drop dead toolchain_paths / configure_env helpers#746esaurez wants to merge 1 commit into
esaurez wants to merge 1 commit into