aboutsummaryrefslogtreecommitdiff
ModeNameSize
d---------envrc153logplain
d---------idris-mode207logplain
d---------inheritenv125logplain
d---------prop-menu158logplain