Skip to content
Snippets Groups Projects
Commit e7f32bb5 authored by Wuttke, Joachim's avatar Wuttke, Joachim
Browse files

Top-level cmake option 'BORNAGAIN_MAN' renamed to 'BORNAGAIN_USERMANUAL', 

since 'man' will be needed for the Unix man page. This resolves #974.
parent f7842cd5
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment