idk why this isn't in master yet #94

Merged
cscherrNT merged 79 commits from devel into master 2024-07-22 13:30:20 +02:00
2 changed files with 2 additions and 0 deletions
Showing only changes of commit 921387b13e - Show all commits

View File

@ -1,3 +1,4 @@
#![warn(clippy::pedantic, clippy::style, clippy::nursery)]
pub mod args; pub mod args;
pub mod printing; pub mod printing;
pub mod repl; pub mod repl;

View File

@ -5,6 +5,7 @@
//! //!
//! `pt` is a project consisting of multiple smaller crates, all bundled together in this //! `pt` is a project consisting of multiple smaller crates, all bundled together in this
//! "main crate". Most crates will only show up if you activate their feature. //! "main crate". Most crates will only show up if you activate their feature.
#![warn(clippy::pedantic, clippy::style, clippy::nursery)]
#[cfg_attr(docsrs, doc(cfg(feature = "full")))] #[cfg_attr(docsrs, doc(cfg(feature = "full")))]
#[cfg(feature = "bintols")] #[cfg(feature = "bintols")]
pub use libpt_bintols as bintols; pub use libpt_bintols as bintols;