[Config] Allow changing the path separator#9100

javiereguiluz merged 1 commit intosymfony:mastersymfony/symfony-docs:masterfrom

javiereguiluz:fix_9090javiereguiluz/symfony-docs:fix_9090Copy head branch name to clipboard