Zachary Yedidia 4664850186 Merge pull request #384 from boombuler/logview ... don't use undo / redo history for log buffer.		2016-09-28 10:24:30 -04:00
..
micro	Merge pull request #384 from boombuler/logview	2016-09-28 10:24:30 -04:00