patch ddc-head: ddc-driver: shift code that defines default optimsiation levels directly into ddc-main

Fri, 21 Sep 2012 03:45:27 -0700 

Fri Sep 21 05:43:08 EDT 2012  Ben Lippmeier <[email protected]>
  * ddc-driver: shift code that defines default optimsiation levels directly 
into ddc-main

    M ./packages/ddc-driver/DDC/Driver/Stage.hs -41 +8
    M ./packages/ddc-tools/src/ddc-main/DDC/Main/Args.hs +16
    M ./packages/ddc-tools/src/ddc-main/DDC/Main/Config.hs -24 +35
    A ./packages/ddc-tools/src/ddc-main/DDC/Main/OptLevels.hs

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe

Reply via email to