Feature/use file set headers#46

ClausKlein wants to merge 5 commits intoboostorg:developboostorg/type_index:developfrom

ClausKlein:feature/use-file_set-headersClausKlein/type_index:feature/use-file_set-headersCopy head branch name to clipboard