src/Doc/Locales/document/root.bib
10 months ago wenzelm 2018-07-18 prefer HTTPS;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;