Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
history: Add option to show timestamps #3175
Cool! I wonder how difficult it would be to modify
It'd be important to maintain compatibility with the history files (preferably both ways).
Would it perhaps be better to implement some of this in the classes in history.cpp rather than builtin.cpp?
I notice we are not calling
referenced this pull request
Jun 28, 2016
I've confirmed the configure check for
Thanks for doing this, @bbarenblat. In the future remember to update documentation and unit tests.