On 22.09.2016 19:21, William Blevins wrote:
The current PR is from default; I'm just using bookmarks.
Sorry, I hadn't noticed...all the better then. ;) Dirk _______________________________________________ Scons-dev mailing list Scons-dev@scons.org https://pairlist2.pair.net/mailman/listinfo/scons-dev