optimize indent (maybe)
authorDavid Terei <davidterei@gmail.com>
Tue, 6 Mar 2012 04:37:34 +0000 (20:37 -0800)
committerDavid Terei <davidterei@gmail.com>
Tue, 6 Mar 2012 04:37:34 +0000 (20:37 -0800)
commit6f5c9bfb6661f4861da6e10fb4d67327d8b7a712
treea7da8d2f376552f81605564e9cf74c434a62e771
parent0b629e922399f1306aea0b0a68c6d3ccfbd5145b
optimize indent (maybe)
src/Text/PrettyPrint/HughesPJ.hs