Support verbatim copy of tags (currently texinfo)

Julien LepillerSun Aug 19 11:21:15+0200 2018

a8d9ce6

offlate/offlate
namelast commitdate
__init__.pyInitial commitMon Apr 02 21:51:58+0200 2018
data.jsontp: update po metadataTue May 01 12:28:30+0200 2018
manager.pySave new version when updatingFri Jun 22 21:24:25+0200 2018
spellcheckedit.pyAdd spell checking supportTue May 01 15:04:13+0200 2018
systems/Save new version when updatingFri Jun 22 21:24:25+0200 2018
tagclickedit.pySupport verbatim copy of tags (currently texinfo)Sun Aug 19 11:21:15+0200 2018
window.pySupport verbatim copy of tags (currently texinfo)Sun Aug 19 11:21:15+0200 2018