w0rp ea438be5c1 REVERT "Fix some naming conventions and use abort for all Rust functions, and disable the rust linters for now, re #256" ... This reverts commit f412b4f96f. Conflicts: doc/ale.txt		2017-01-19 20:21:54 +00:00
..
ale.txt	REVERT "Fix some naming conventions and use abort for all Rust functions, and disable the rust linters for now, re #256"	2017-01-19 20:21:54 +00:00