Name Last modified Size Description
Parent Directory -
catppuccin-emacs-9999 30-Dec-2024 02:29 492
inheritenv-0.2 30-Dec-2024 02:29 552
envrc-0.11 30-Dec-2024 02:29 560
prop-menu-0.1.2 30-Dec-2024 02:29 580
idris-mode-9999 30-Dec-2024 02:29 601
idris-mode-1.0 30-Dec-2024 02:29 639