aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-utils.el
diff options
context:
space:
mode:
authorErik Martin-Dorel2021-02-25 16:24:00 +0100
committerErik Martin-Dorel2021-02-25 16:36:32 +0100
commit3b93f2e1149ebd13e97d6fd4954269c07fe210bd (patch)
tree7fb3b97ff22220a83e597d90b08aeae1079613e4 /generic/proof-utils.el
parentbdb67820696b2bfec06fda72f2a39548c73dcaf7 (diff)
test: Add Emacs 27.1 & Remove Emacs 24.3, 24.4 CI tests
* Document (in README.md) the proposed policy: supporting Emacsen from the versions packaged in Debian Stable / Ubuntu LTS until their EOS.
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions