stats-main.hs: --min-percentage docs: consistent abbreviation
authorgwern <gwern@gwern.net>
Mon, 8 Dec 2014 19:11:28 +0000 (19:11 +0000)
committergwern <gwern@gwern.net>
Mon, 8 Dec 2014 19:11:28 +0000 (19:11 +0000)
commit5a954298446384360a207f16349bbbcb7353d69c
treefa5ad5fcfc74d0b3b3a7f2561b5a920262919dab
parent6d927977c5f218b42cb2a325d7baec601f24cba3
stats-main.hs: --min-percentage docs: consistent abbreviation
src/stats-main.hs