log directive.h @ 209:256f51fde64c default tip

age author description
Fri, 12 Jun 2015 01:00:38 -0400 David A. Holland Merge upstream into Joerg's changes.