diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-01-25 17:29:53 +0100 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-01-25 17:30:19 +0100 |
| commit | 9f02c523512f2de2adf9d219c0e819abfbfa7724 (patch) | |
| tree | 41de58ed4bee77c87fbba441b1f204f44cd7f228 /Makefile | |
| parent | 84b7c361e22adced611257b4e0859b4ec7e5cd2d (diff) | |
Re-organize the sync detection routine
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions