Changes between Version 19 and Version 20 of Repositories


Ignore:
Timestamp:
Aug 31, 2011 5:27:53 PM (3 years ago)
Author:
dterei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Repositories

    v19 v20  
    101101 
    102102 '''7.2 Branch''':: 
    103  [TODO!] 
     103 To switch to this branch run: 
     104 {{{  
     105 $ git checkout -b ghc-7.2 origin/ghc-7.2 
     106 $ ./sync-all checkout ghc-7.2 
     107 }}}