Leonardo de Moura 12674114a4 feat(shell): set default behavior to "trusted" ... closes #402		2015-01-21 16:25:09 -08:00
..
lean	feat(shell): set default behavior to "trusted"	2015-01-21 16:25:09 -08:00
lua	fix(tests/lua/res1): adjust test to recent modifications	2015-01-20 16:26:41 -08:00