From: Johannes Schindelin Date: Tue, 02 Aug 2005 23:10:45 GMT Subject: Users of git-check-files? Message-ID: Hi, there's git-check-files in the repository, but AFAIK nobody uses it, not even "git status", which would be the primary candidate. If really no users of git-check-files exist, maybe we should remove it? Ciao, Dscho