K 10 svn:author V 4 makc K 8 svn:date V 27 2013-02-04T16:18:24.899649Z K 7 svn:log V 104 Merge from area51 repository: - Trip Makefile header - Convert to new options framework / rename option END