deec290Bump assets/syntaxes/02_Extra/Svelte from `aee0676` to `c71f129`dependabot-preview[bot]6 years ago e334375Bump assets/themes/onehalf from `8992311` to `141c775`dependabot-preview[bot]6 years ago fa72f86Bump assets/syntaxes/02_Extra/CMake from `21e9698` to `7d6231c`dependabot-preview[bot]6 years ago 6527126Bump assets/syntaxes/02_Extra/Lean from `7e99440` to `49d1853`dependabot-preview[bot]6 years ago 4aec022Bump serde from 1.0.118 to 1.0.123dependabot-preview[bot]6 years ago a26c5b8Bump predicates from 1.0.6 to 1.0.7dependabot-preview[bot]6 years ago d36b091CICD: Build: Move PKG_* vars to 'Package' stepMartin Nordholts6 years ago 3dcf025CICD: Build: Move DPKG_* vars to 'Debian package' stepMartin Nordholts6 years ago e402011CICD: Build: Split out dir creation into the individual package stepsMartin Nordholts6 years ago dc1620dget_pager(): Simplify use_less_instead expressionMartin Nordholts6 years ago c48e779CHANGELOG.md: Add entry for #1413Martin Nordholts6 years ago dd0d44bFix #1413 Can't use `bat` at all! (Error: Use of bat as a pager is disallowed...)Martin Nordholts6 years ago 060b998Remove deprecated PrettyPrinter methodssharkdp6 years ago