[Plugin]
Module=history-plugin
Name=Edit History
Description=Tracks edits in buffer to provide navigation history
Authors=Christian Hergert <christian@hergert.me>
Copyright=Copyright © 2017 Christian Hergert
Depends=editor
Builtin=true
