# HG changeset patch # User HackBot # Date 1465190511 0 # Node ID b294d1a9014faff7172211b8b5afab8fe9180804 # Parent c864b9e86ac2a035779d7fcd11caa312b9655f39 mk stars//read-num range1 m: "*" times new-line diff -r c864b9e86ac2 -r b294d1a9014f stars --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/stars Mon Jun 06 05:21:51 2016 +0000 @@ -0,0 +1,1 @@ +read-num range1 m: "*" times new-line