David Majda ec3f7f5bb0 Remove extra indentation		2016-10-04 11:37:41 +02:00
..
generate-bytecode.js	Improve indentation of variable declarations	2016-10-04 11:30:52 +02:00
generate-js.js	Remove extra indentation	2016-10-04 11:37:41 +02:00
remove-proxy-rules.js	Use only "//" comments	2016-09-20 15:07:39 +02:00
report-duplicate-labels.js	Avoid aligning "="	2016-09-22 09:56:29 +02:00
report-duplicate-rules.js	Avoid aligning "="	2016-09-22 09:56:29 +02:00
report-infinite-recursion.js	Avoid aligning "="	2016-09-22 09:56:29 +02:00
report-infinite-repetition.js	Avoid aligning "="	2016-09-22 09:56:29 +02:00
report-undefined-rules.js	Avoid aligning "="	2016-09-22 09:56:29 +02:00