Branches

• agda2-mode

  500393f3 · Add support for agda2-mode · Jun 17, 2021
  protesilaos/modus-themes!44
• main default protected

  15b5ecf9 · Remove underline from selectrum-current-candidate · Dec 13, 2020
• master

  6122a90e · Add support for sieve-mode · Nov 14, 2020
• elpa/modus-vivendi-theme

  aa992612 · Merge tag '0.13.0' into elpa/modus-vivendi-theme · Oct 08, 2020
• elpa/modus-operandi-theme

  c82a754f · Merge tag '0.13.0' into elpa/modus-operandi-theme · Oct 08, 2020