Update NEWS, make-config.sh
authorDavid Lichteblau <david@lichteblau.com>
Tue, 18 Sep 2012 15:11:40 +0000 (17:11 +0200)
committerDavid Lichteblau <david@lichteblau.com>
Fri, 19 Oct 2012 16:37:03 +0000 (18:37 +0200)
commit9e537744011611a2a01bf9d0d0b95892498a19a7
tree4d37993a1945470062e11e8c949b211a612d55d4
parent7f9bcccc3463d69272fb98d7418a973e41a013c9
Update NEWS, make-config.sh
CREDITS
NEWS
make-config.sh