f453b3780f
The script was used by a distcheck hook to check for files that are in git, but not the distributed tarball. We dropped autotools support, so the script is no longer used - in fact, it isn't useful anymore, as `ninja dist` generates tarballs from git itself rather than from a separately maintained list of files ...