cargo-crev 0.23.3

// this is a dummy library just to make docs.rs render what I need
#![cfg_attr(
    feature = "documentation",
    doc = "See the [user documentation module](./doc/user/index.html) and in particular the [Getting Started Guide](./doc/user/getting_started/index.html)."
)]

#[cfg(feature = "documentation")]
/// Documentation
pub mod doc;