Johannes Altmanninger bb16cad9dc Simplify call to is_sorted_by() ... I con no longer reproduce an error/warning for this.		2023-12-06 19:01:22 +01:00
..
src	Simplify call to is_sorted_by()	2023-12-06 19:01:22 +01:00
widestring-suffix	Move edition and MSRV to workspace	2023-08-19 15:18:38 +02:00
build.rs	Port pager.cpp	2023-12-03 11:02:04 +01:00