chiark / gitweb /
optiuons: Break out YourOptionsMenuContents
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Feb 2024 18:46:34 +0000 (18:46 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Feb 2024 20:38:09 +0000 (20:38 +0000)
commit51c4de764a262e91544685a1131c4cbb2d53fa10
tree9920f95fc412c5e100f5a436a3ac50a25b2347e0
parent37bab54f92041e4f0c5599714c9fb0f97b131e50
optiuons: Break out YourOptionsMenuContents

Much textual churn, but no functional change.
src/options.rs