PR #1277

Willem Ferguson willemferguson at
Sat Sep 15 04:11:05 PDT 2018

Dear Lubomir, Dirk,

Please look at #1277. Github told me at the time that this PR was pulled 
and it is indeed reflected in the latest master user-manual.txt in 
src/subsurface/Documentation. BUT it is clearly NOT in the present 
user-manual.html in subsurface/build/Documentation. There must be some 
issue with the build script or am I going mad?

Kind regards,


This message and attachments are subject to a disclaimer.

Please refer to 
<> for

More information about the subsurface mailing list