Matthew Flatt a130b66588 fix problem with syntax-local-lift-require ... Closes PR 13797 Merge to v6.0.1 (cherry picked from commit 414507699b)		2014-04-15 10:56:31 -04:00
..
collects	openssl: recognize version 1.0.1g	2014-04-15 10:16:53 -04:00
src	fix problem with syntax-local-lift-require	2014-04-15 10:56:31 -04:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00