chiark
/
gitweb
/
~mdw
/
sod
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
d9bd7c9
)
frontend.lisp: Add hooks for extensions to add new command-line options.
author
Mark Wooding
<mdw@distorted.org.uk>
Sun, 4 Aug 2019 18:04:10 +0000
(19:04 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Sun, 4 Aug 2019 18:11:58 +0000
(19:11 +0100)
It seems rather pointless to document the option parser and then fail to
provide any way for extensions to make use of it.
Not that I've actually documented it yet...
No differences found