John Benediktsson b5a671cd88 peg: replace uses of digits>integer with string>number.		2015-07-19 19:18:47 -07:00
..
expr	peg: replace uses of digits>integer with string>number.	2015-07-19 19:18:47 -07:00
javascript	factor: trim more whitespace from #! comments	2015-07-18 20:36:42 -07:00
pl0	peg: replace uses of digits>integer with string>number.	2015-07-19 19:18:47 -07:00