]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
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'
authorDavid Woodhouse <dwmw2@infradead.org>
Thu, 31 May 2018 16:37:50 +0000 (16:37 +0000)
committerDavid 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
Unnamed repository; edit this file 'description' to name the repository.