A simple Python document saver on every change of file.
Primary LanguagePythonGNU General Public License v3.0GPL-3.0