2 commits

Author	SHA1	Message	Date
Eivind Fonn	d17c229c2a	Make SPC m o reserved for user	2015-08-26 21:37:01 -04:00
Tristan Hume	eecb250a55	Prefix categories with !	2015-05-25 00:50:38 -04:00

Renamed from contrib/lang/agda/extensions.el (Browse further)