Verified Commit c016272f authored by Camil Staps's avatar Camil Staps 🙂

Document "without default imports" option for @property-bootstrap

parent c243a740
Pipeline #34182 failed with stage
in 4 minutes and 36 seconds
......@@ -54,6 +54,9 @@ Some imports are included automatically and do not need to be added here:
\item The tested module itself.
\end{itemize}
To prevent these modules from being imported, add \clean{without default imports} on the same line as \clean{@property-bootstrap}.
With this option, no modules are imported by default whatsoever.
\subsection{Advanced properties}
\subsubsection{\clean{@invariant}}
......
Markdown is supported
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