Zachary Yedidia 3b36316b00 Add support for selection and copy in terminal ... This commit adds mouse and copy support in the terminal emulator in micro.		2018-01-05 22:44:36 -05:00
..
micro	Add support for selection and copy in terminal	2018-01-05 22:44:36 -05:00