Closed rhuanjl closed 6 years ago
@rhuanjl I think the header doc comments and the wiki should be kept in sync if possible. Any updates accepted here should be propagated to the header files. Feel free to open a PR to make that update after this change is reviewed and lands.
@dilijev there are a few other places where wiki and header don't match. Ideally we could use a script to two-way sync the wiki and header.
I will post a PR to update the header to match these descriptions if wanted - several of the descriptions seemed rather brief/fragmentary hence trying to fleshing it out whilst formatting it for the wiki.
Ideally we could use a script to two-way sync the wiki and header.
@liminzhu ideally, yes, or one generates the other (most likely from source to wiki) which would be much easier than a two-way sync.
:shipit:
Thanks @liminzhu @dilijev
I'll send a followup PR to update the header to match later today or maybe tomorrow.
@liminzhu I've gone a bit beyond what the header comments say to try and make these easier to understand - hope it's good.