update-lib: handle absence of fileList.txt gracefully
commitbfca48233a2ffa5a3efe89d6ec414503ba11ccc9
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Wed, 16 Jan 2008 15:48:58 +0000 (16 15:48 +0000)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Wed, 16 Jan 2008 22:59:11 +0000 (16 22:59 +0000)
tree1d60c7e867a3c33be8c7fa906b219415223749ec
parent0aaeb31ce5b8d28680ec219ac9f9cca25d960aa2
update-lib: handle absence of fileList.txt gracefully
src/common/update-lib.sh