[web-php] PR #995: Create devcontainer.json

From: Date: Sat, 06 Jul 2024 01:07:57 +0000
Subject: [web-php] PR #995: Create devcontainer.json
Groups: php.webmaster 
Request: Send a blank email to php-webmaster+get-31802@lists.php.net to get a copy of this message
Pull Request: https://github.com/php/web-php/pull/995 Closed by github-actions[bot].

« previous php.webmaster (#31802) next »