David Majda 137a4b4f53 Renamed |characters| -> |chars| (shorter, no loss of expressivity)		2010-05-21 21:18:33 +02:00
..
compiler.js	Renamed |characters| -> |chars| (shorter, no loss of expressivity)	2010-05-21 21:18:33 +02:00
metagrammar.js	Renamed |characters| -> |chars| (shorter, no loss of expressivity)	2010-05-21 21:18:33 +02:00
metagrammar.pegjs	Renamed |characters| -> |chars| (shorter, no loss of expressivity)	2010-05-21 21:18:33 +02:00