Skip to content
Snippets Groups Projects
Commit 070a0d9c authored by David Waern's avatar David Waern
Browse files

Move options out of Main into Haddock.Options

parent 050b525f
Branches
Tags
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment