Commit Graph

1 Commits

Author SHA1 Message Date
Cheer Xiao
f407b94d09 Use persistent history in the editor
This resolves issue #45.
2015-02-26 00:40:35 +01:00