@echo off
rem This file is intentionally (almost) empty
rem It is present for symmetry with the Linux and MacOS versions,
rem so the release scripts can process a similar set of files.
rem It might be possible to use this file to eliminate some
rem redundancy in the install-* scripts, but batch file scripting
rem is so tricky that we have not yet attempted that.
