Changes between Version 7 and Version 8 of WorkingConventions/DocumentationChanges


Ignore:
Timestamp:
Jul 14, 2018 7:37:15 PM (13 months ago)
Author:
f-a
Comment:

Alternatives to Github

Legend:

Unmodified
Added
Removed
Modified
  • WorkingConventions/DocumentationChanges

    v7 v8  
    11110. '''Wait''' for bgamari to publish the documentation. (As of Nov 2017, he runs the publish script manually, about once a month.)  If this takes more than a month, complain on the {{{#ghc}}} channel on [http://freenode.net/ FreeNode] ! 
    1212
     13Loathe github? You can update documentation using [[Phabricator]] too!
     14
    1315Then have a beer on us.  We are truly grateful.