On Sun, Mar 15, 2015 at 08:14:51PM +0100, Christian Boltz wrote:
> Hello,
>
> Am Samstag, 14. März 2015 schrieb Christian Boltz:
> > this patch extends and partially rewrites write_header()
> >
> > - add support for prof_data['header_comment'] (comment after '{')
> > and prof_data['profile_keyw
Hello,
Am Samstag, 14. März 2015 schrieb Christian Boltz:
> this patch extends and partially rewrites write_header()
>
> - add support for prof_data['header_comment'] (comment after '{')
> and prof_data['profile_keyword'] (to force the 'profile' keyword,
> even if it isn't needed) to write_head
Hello,
this patch extends and partially rewrites write_header()
- add support for prof_data['header_comment'] (comment after '{')
and prof_data['profile_keyword'] (to force the 'profile' keyword, even
if it isn't needed) to write_header().
(set_profile_flags() will be the only user of these