Bug #15651: Restore deleted line in comment
treedcca9b3a0a6a8c657fea70ad19bba08a1d81bd2d
-rw-r--r-- 8644 README
-rw-r--r-- 674 README.BUILD
-rw-r--r-- 3378 README.RELEASE
-rwxr-xr-x 1012 makexpi.sh
drwxr-xr-x - src
drwxr-xr-x - trans_tools
-rw-r--r-- 18684 update-unsigned.rdf
drwxr-xr-x - website