diff Resources/EmbedResources.py @ 110:fd7b0a3e6260

support of boost 1.42 for debian
author Sebastien Jodogne <s.jodogne@gmail.com>
date Thu, 04 Oct 2012 12:33:31 +0200
parents 71c4a4abe90b
children 5133cfc8db86
line wrap: on
line diff