projects
/
users
/
dwmw2
/
openconnect.git
/ commitdiff
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
38a3bbc
f073e5b
)
Merge branch 'feature/cleanup_options_list' into 'master'
author
David Woodhouse <dwmw2@infradead.org>
Thu, 31 May 2018 16:37:50 +0000
(16:37 +0000)
committer
David Woodhouse <dwmw2@infradead.org>
Thu, 31 May 2018 16:37:50 +0000
(16:37 +0000)
cleanup options list and make it less AnyConnect-specific
See merge request dwmw2/openconnect!2
Trivial merge