Henrik Lissner b5227b3036 Fix #2807: wrong-number-of-args error on +ligatures/install-patched-font		2020-08-23 14:00:06 -04:00
..
install.el	Fix #2807: wrong-number-of-args error on +ligatures/install-patched-font	2020-08-23 14:00:06 -04:00
ligatures.el	ui/ligatures: +ligatures-classes -> +ligatures-extra-symbols	2020-08-20 02:44:02 -04:00