##// END OF EJS Templates
use dirty event to set autosaved/unsaved changes...
use dirty event to set autosaved/unsaved changes instead of last-saved timestamp

File last commit:

r4460:540b3f19
r10829:483848a0
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer