Revision 33d7c84a7bc3d86211b8e397b1c2d079bdfb6bb4 authored by martoon on 12 October 2023, 13:31:00 UTC, committed by martoon on 09 November 2023, 15:57:30 UTC
At first, I didn't write logs assuming that they will be highly available. Actually they are, and we could log more. So here I at least log the result.
1 parent a371e92
| File | Mode | Size |
|---|---|---|
| bin_version.ml | -rw-r--r-- | 2.0 KB |
| bin_version.mli | -rw-r--r-- | 2.0 KB |
| current_git_info.ml | -rw-r--r-- | 2.9 KB |
| current_git_info.mli | -rw-r--r-- | 2.1 KB |
| dune | -rw-r--r-- | 544 bytes |
| generated_git_info.mli | -rw-r--r-- | 1.9 KB |
Computing file changes ...
