Fabian Boehm 478c8fb35e Remove "^" expand-abbr binding
This is no longer a special token, so it shouldn't expand abbreviations.
2022-12-16 17:06:03 +01:00
..
2022-12-16 17:06:03 +01:00
2022-08-27 16:38:36 +02:00