diff options
| author | Benoît CORTIER | 2021-06-18 13:53:29 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-06-19 01:04:59 +0000 |
| commit | db5bdf4f2da954595d6fe83ef4ace255883726e9 (patch) | |
| tree | 7ec3b7b7b3da5c8b42ae867daf8e069fd47275b6 /runtime/queries/latex/folds.scm | |
| parent | b48054f3ee28db64110f9ddcc13d7f01bb78b357 (diff) | |
Run cargo-diet
cargo-diet is a helper for computing the optimal `include` directives
for Cargo.toml manifests.
https://github.com/the-lean-crate/cargo-diet
Diffstat (limited to 'runtime/queries/latex/folds.scm')
0 files changed, 0 insertions, 0 deletions