Skip to content

Remove outdated editors/emacs/lambdapi-mode-pkg.el#1170

Open
tarsius wants to merge 1 commit intoDeducteam:masterfrom tarsiiformes:expkg
-5

Commits

Commits on Dec 30, 2024