more and spellcheck

This commit is contained in:
Michael Kohlhase 2019-01-29 13:41:12 +01:00
parent 55b2e7d08c
commit c1a9781770

View File

@ -50,4 +50,4 @@ interest group.
%%% End:
% LocalWords: site-jacu.tex sitedescription emph textbf keypubs KohDavGin
% LocalWords: psewads11 pdpl10 StaKoh tlcspx10
% LocalWords: psewads11 pdpl10 StaKoh tlcspx10 KohDavGin:psewads11,Kohlhase:pdpl10