Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Minor fixes for coalton-mode (#1746)
* Set the default connection in coalton-mode to prevent from errors from `autodoc`. * Indent automatically with Return in coalton-mode.
- Loading branch information