[0.8.31] Shortkey for !HISTORY
2017-04-07, 14:08 (This post was last modified: 2017-04-08, 9:36 by Nils Schmidt.)
2017-04-07, 14:08 (This post was last modified: 2017-04-08, 9:36 by Nils Schmidt.)
(2017-04-06, 16:20)Magnus Forsberg Wrote: As a user I want an easy way to add a new history statement: 0 !HISTORY ("today date") ["username"] in the header.
I implemented this feature a few moments ago (#528).