diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-05 17:20:11 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-22 23:42:09 +0200 |
commit | 43925606d39ad12b5b1019aec61843d947755f31 (patch) | |
tree | e7efda2b12432b177ffabc24574fd343936cec4b /doc/PG-adapting.texi | |
parent | 26b3bf9f070e9aee45c6e3d19bca475d4ae8ed37 (diff) |
Set the minimal supported version of emacs to 24.3 instead of 24.4
This agrees with the minimal version of GNU Emacs currently tested by
Travis CI, as well as with the version packaged in Ubuntu 14.04 LTS
Reference:
https://github.com/ProofGeneral/PG/issues/368#issuecomment-397561986
Diffstat (limited to 'doc/PG-adapting.texi')
-rw-r--r-- | doc/PG-adapting.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 44c40549..86ab21b6 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -52,7 +52,7 @@ @set version 4.4.1~pre -@set emacsversion 24.4 +@set emacsversion 24.3 @set last-update September 2016 @set rcsid $Id$ |