mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-09 08:30:23 +09:00
Now in that case, we temporarily disable saving history and initialize history to empty, instead of nil
Now in that case, we temporarily disable saving history and initialize history to empty, instead of nil