patch ddc-head: ddc-tools: merge changes in OptLevels

Sat, 15 Dec 2012 22:14:28 -0800 

Sun Dec 16 06:13:20 UTC 2012  Ben Lippmeier <[email protected]>
  * ddc-tools: merge changes in OptLevels

    M ./packages/ddc-tools/src/ddc-main/DDC/Main/OptLevels.hs -2 +4

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

Reply via email to