diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-12-15 14:57:06 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-12-15 14:57:06 +0100 |
commit | 481ebe1efe9127bfd2a16ff54b0c692a8fb9a0a5 (patch) | |
tree | 916cf4c58fa73452f39cdbbc7a2a8f9b0ed36243 /coq | |
parent | a423f633e6a41ab680a51e3af320056bde249584 (diff) |
add quote to fix commit e3cc66dc2e60683531d75c12256d059ccbc64576
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1788,7 +1788,7 @@ Near here means PT is either inside or just aside of a comment." (defpacustom search-blacklist coq-search-blacklist-string "Strings to blacklist in requests to coq environment." :type 'string - :get coq-get-search-blacklist + :get 'coq-get-search-blacklist :setting coq-set-search-blacklist) |