From d7f2f5bef8853641db9505d8f882150b15ac106f Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Mon, 2 Nov 2020 17:20:06 +0100 Subject: Author and stash single label Asmgenproof after merge --- aarch64/Asmgen.v | 1 + 1 file changed, 1 insertion(+) (limited to 'aarch64/Asmgen.v') diff --git a/aarch64/Asmgen.v b/aarch64/Asmgen.v index 33fcf34b..c25454e0 100644 --- a/aarch64/Asmgen.v +++ b/aarch64/Asmgen.v @@ -7,6 +7,7 @@ (* Xavier Leroy INRIA Paris-Rocquencourt *) (* David Monniaux CNRS, VERIMAG *) (* Cyril Six Kalray *) +(* Léo Gourdin UGA, VERIMAG *) (* *) (* Copyright Kalray. Copyright VERIMAG. All rights reserved. *) (* This file is distributed under the terms of the INRIA *) -- cgit