# All changes are tracked by the Git source code management system. If you
# are not familiar with Git, you may view all commits using the command `git
# log -p` or a graphical program like tig (or gitk for X window systems).
#
# The command `git shortlog` will give a summary of changes (the titles of
# the commits with no patches), a bit more condensed than what you'd expect
# in a changelog but more compact than the commands mentioned above.
#
# If you want changes between two revisions, append PREV..HEAD to the above
# commands, where both PREV and HEAD are argumenst (e.g. git log -p
# abc..123). If you want to diff two revisions, use `git diff` instead of
# `git log`.
#
# Otherwise, please see the Git documentation for more information.