Skip to content

Update zotra.el - Changed custom type#15

Open
ethanmoss1 wants to merge 2 commits into
mpedramfar:mainfrom
ethanmoss1:main
Open

Update zotra.el - Changed custom type#15
ethanmoss1 wants to merge 2 commits into
mpedramfar:mainfrom
ethanmoss1:main

Conversation

@ethanmoss1

Copy link
Copy Markdown

Just a silly one but I came across an incorrect type for the defcustom of whether to use curl.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant