Zachary Yedidia 3f01f73ea9 Give error message if input is a directory ... Fixes #479		2016-12-07 10:28:03 -05:00
..
micro	Give error message if input is a directory	2016-12-07 10:28:03 -05:00