…
..
template	ProofGeneral: fix warning if compiled with a different emacs version	2017-12-31 15:56:33 +01:00