Revision 79a29d621e40b180c753dfb996132cc3bf298930 authored by Marge Bot on 22 July 2022, 08:25:52 UTC, committed by Marge Bot on 22 July 2022, 08:25:52 UTC
Update migration for Kathmandu See merge request tezos/tezos!5837
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.
(executable
(name main)
(public_name git-gas-diff)
(package internal-devtools)
(libraries
num
re))
Computing file changes ...