vault backup: 2023-09-05 19:51:08

This commit is contained in:
Louis Gallet 2023-09-05 19:51:08 +02:00
parent f64974be80
commit 1421641bda
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -58,6 +58,6 @@ let time_of_sec s =
let hours = s/3600 in let minutes = (s - hours*3600)/60 in let seconds = s - hours *3600 - minutes * 60 in (hours, minutes, seconds);;
let add_times h1 m1 s1 h2 m2 s2 =
let sec1 = sec_of_time(h1 m1 s1) and sec2 = sec_of_time(h2 m2 s2) in let resultsec = sec1 + sec2 in time_of_sec(resultsec) ;;
let sec1 = sec_of_time h1 m1 s1 and sec2 = sec_of_time h2 m2 s2 in let resultsec = sec1 + sec2 in time_of_sec resultsec ;;
```