src/Tools/jEdit/patches/title
2 months ago ago formal update of patches -- no change of content;
12 months ago ago no censorship of view title;