jflack
/
gnus-search-mu
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix gnus-search-remove-prefix type

This commit is contained in:
Jai Flack 2022-03-30 14:32:07 +10:00
parent 0bdaf4f162
commit 83ace5fca2
No known key found for this signature in database
GPG Key ID: B0073AB365D0807D
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gnus-search-mu.el
View File

@ -71,7 +71,7 @@ This can also be set per-server."
"A prefix to remove from the mu results to get a group name.
Usually this will be set to the path to your mail directory. This
can also be set per-server."
:type '(string)
:type '(directory)
:group 'gnus-search)
(defcustom gnus-search-mu-config-directory