You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
While writing the documentation for GSL I saw that it is not clear to me what the exact purpose of <span_ext> is. It cannot be used alone, you must #include <span> first. But <span> already does #include <span_ext>. What is the intent of the separation into two files? Do we still need/want two files or should we merge <span_ext> into <span>?
The text was updated successfully, but these errors were encountered:
While writing the documentation for GSL I saw that it is not clear to me what the exact purpose of
<span_ext>
is. It cannot be used alone, you must#include <span>
first. But<span>
already does#include <span_ext>
. What is the intent of the separation into two files? Do we still need/want two files or should we merge<span_ext>
into<span>
?The text was updated successfully, but these errors were encountered: