Skip to content

Fix for root owner of share/gprconfig/ directory with bootstrap.sh - #164

Open
ZenitDS wants to merge 1 commit into
AdaCore:masterfrom
ZenitDS:master
Open

Fix for root owner of share/gprconfig/ directory with bootstrap.sh#164
ZenitDS wants to merge 1 commit into
AdaCore:masterfrom
ZenitDS:master

fix root owner of share/gprconfig/ directory with bootstrap.sh

b483863
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs