Skip to content

enable Tramp support for Emacs 26 or later#569

Open
hendriktews wants to merge 6 commits into
ProofGeneral:masterfrom
hendriktews:tramp
Open

enable Tramp support for Emacs 26 or later#569
hendriktews wants to merge 6 commits into
ProofGeneral:masterfrom
hendriktews:tramp

enable compilation for remote files via tramp

70ff037
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs