bootstrap.sh: improve the informational message about 'git core-diff'
-rw-r--r-- 12 .gitignore
-rw-r--r-- 812 Makefile
-rw-r--r-- 237 NEWS
-rw-r--r-- 385 README.txt
-rw-r--r-- 354 TODO
-rw-r--r-- 1624 drin.in
-rw-r--r-- 2276 drin.rst
drwxr-xr-x - libexec