Changes between Version 111 and Version 112 of WorkingConventions


Ignore:
Timestamp:
Jul 4, 2016 7:55:51 PM (18 months ago)
Author:
bgamari
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WorkingConventions

    v111 v112  
    2222 * '''Releases and branches''': Our conventions for making releases and how the branches are managed: [wiki:WorkingConventions/Releases Releases]
    2323
     24 * '''Useful tools''': [[WorkingConventions/UsefulTools|Various tools]] which exist to make working on GHC more pleasant.
     25
    2426 * '''Using the Bug Tracker''': see [wiki:WorkingConventions/BugTracker Using the Bug Tracker]
    2527