Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove unecessary function call
file-name-directory
Why: It is called inside of the `idris-ipkg-buffer-src-dir` function.
- Loading branch information