Skip to content

Make Projectile configuration optional via a new prelude-projectile user option#1430

Merged
bbatsov merged 1 commit intobbatsov:masterfrom
spdawson:feat/customisation/make-projectile-configuration-optional
Mar 24, 2025

Commits

Commits on Mar 24, 2025