Florian Müllner f453b3780f tools: Remove obsolete check-for-missing script ... 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 ...		2017-09-30 03:18:55 +02:00
..
build	tools/build: Update to 3.14	2014-05-25 23:22:18 +02:00