Closed xiongtx closed 7 years ago
The autoload cookies used in the source files do not seem to be the default ;;;###autoload, but :autoload instead.
;;;###autoload
:autoload
This seems like a legacy of the names package that should be removed.
names
The autoload cookies used in the source files do not seem to be the default
;;;###autoload, but:autoloadinstead.This seems like a legacy of the
namespackage that should be removed.