dradice/Boost — pull request #1 by eschnett (2012-06-12 22:10:36+00:00)
Title: Rename configure script

We decided to rename all configure scripts to "configure.*", instead of "THORNNAME.*".