Skip to content

Commit

Permalink
[ fix ] revert regexp for ipkg source dirs.
Browse files Browse the repository at this point in the history
This unknowningly introduced an error.
  • Loading branch information
jfdm committed Jul 4, 2024
1 parent 727d586 commit ecd9c9b
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions idris-ipkg-mode.el
Original file line number Diff line number Diff line change
Expand Up @@ -87,8 +87,9 @@
`(,idris-ipkg-keywords))

(defconst idris-ipkg-sourcedir-re
"^sourcedir\\s-*=\\s-*\"?\\([a-zA-Z/0-9]+\\)\"?")
;; "^\\s-*sourcedir\\s-*=\\s-*\\(\\sw+\\)"
;; "^sourcedir\\s-*=\\s-*\"?\\([a-zA-Z/0-9]+\\)\"?"
"^\\s-*sourcedir\\s-*=\\s-*\\(\\sw+\\)"
)

;;; Completion

Expand Down

0 comments on commit ecd9c9b

Please sign in to comment.