GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-19 06:22:22 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

Fix clippy warning

Browse source
This commit is contained in:
Damien Elmes 2022-11-28 14:42:03 +10:00
parent 29adf9eee0
commit 3b8a7ab132
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
build/ninja_gen/src/git.rs
View file

@ -54,7 +54,7 @@ fn locate_git_head() -> Option<BuildInput> {
.filter_map(|p| { .filter_map(|p| {
let head = p.unwrap().path().join("HEAD"); let head = p.unwrap().path().join("HEAD");
if head.exists() { if head.exists() {
Some(head.as_str().replace(':', "$:").to_string()) Some(head.as_str().replace(':', "$:"))
} else { } else {
None None
} }