1pub mod app; 2pub mod cache; 3pub mod config; 4pub mod diff; 5pub mod grouper; 6pub mod highlight; 7pub mod signal; 8pub mod theme; 9pub mod ui;