Move the google file to the root of src/

CTSRD-CHERI · Jan 8, 2025 · adf58fd · adf58fd
1 parent c5232b6
commit adf58fd
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/src/cover/google82289fd6bc0727f2.html → src/google82289fd6bc0727f2.html b/src/cover/google82289fd6bc0727f2.html → src/google82289fd6bc0727f2.html