Revision e53838c6f93a0f4034926643f177ea5a93ff196d authored by Sylvain Ribstein on 30 November 2022, 14:25:44 UTC, committed by Marge Bot on 05 December 2022, 12:45:11 UTC
1 parent df8f31d
| File | Mode | Size |
|---|---|---|
| octez-deps.opam | -rw-r--r-- | 3.1 KB |
| octez-dev-deps.opam | -rw-r--r-- | 701 bytes |
Computing file changes ...
