boostorg/gil — pull request #7 by danieljames (2014-05-28 20:33:23+00:00)
Title: Clean up faulty merge in 42fcf6d.

This deletes a few files because they were previously deleted in develop, in 243fa33, but the merge restored them from master.