diff options
| author | Joseph Mingrone <jrm@FreeBSD.org> | 2026-03-25 22:37:18 +0000 |
|---|---|---|
| committer | Joseph Mingrone <jrm@FreeBSD.org> | 2026-03-26 01:07:07 +0000 |
| commit | dbcf335fdbcb8b3006b70cbb26bb3ab5f998e857 (patch) | |
| tree | 29b395318c66392cf8cb64bd8865be58423d231e /graphics/fortytwo/(developers-only) | |
| parent | 74997bb77e7c4924c390d884b82772956195d4c4 (diff) | |
Upstream removed all elisp files in 2018:
https://github.com/rocq-prover/rocq/commit/41d597866d4f79fe5109c25c6f5cc57d0ebf7f0f
Since there will no longer be coq-emacs_* packages, add an UPDATING
entry with migration instructions.
Sponsored by: The FreeBSD Foundation
Diffstat (limited to 'graphics/fortytwo/(developers-only)')
0 files changed, 0 insertions, 0 deletions