Sun Aug 19 11:21:15+0200 2018
a8d9ce6
name | last commit | date |
__init__.py | Initial commit | Mon Apr 02 21:51:58+0200 2018 |
data.json | tp: update po metadata | Tue May 01 12:28:30+0200 2018 |
manager.py | Save new version when updating | Fri Jun 22 21:24:25+0200 2018 |
spellcheckedit.py | Add spell checking support | Tue May 01 15:04:13+0200 2018 |
systems/ | Save new version when updating | Fri Jun 22 21:24:25+0200 2018 |
tagclickedit.py | Support verbatim copy of tags (currently texinfo) | Sun Aug 19 11:21:15+0200 2018 |
window.py | Support verbatim copy of tags (currently texinfo) | Sun Aug 19 11:21:15+0200 2018 |