GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2026-01-13 22:13:58 -05: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 c7445f76b1
commit 94117603c7
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| {
let head = p.unwrap().path().join("HEAD");
if head.exists() {
Some(head.as_str().replace(':', "$:").to_string())
Some(head.as_str().replace(':', "$:"))
} else {
None
}