Skip to main content

EXPORTER_REVISION

logicaffeine_cli::interface::lean::intake

Constant EXPORTER_REVISION 

Source 
pub const EXPORTER_REVISION: &'static str;
Expand description

The pinned lean4export revision.