From bf5d33fcd51d775be0c123ca9b4b64db4529bbcb Mon Sep 17 00:00:00 2001 From: Emilien Lemaire Date: Fri, 20 Dec 2024 14:56:18 +0100 Subject: [PATCH] generated version.mlt --- .gitattributes | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitattributes b/.gitattributes index cc6474953..d83915f8b 100644 --- a/.gitattributes +++ b/.gitattributes @@ -5,3 +5,4 @@ linking_flags.sh linguist-generated /dune-project linguist-generated /sphinx/conf.py linguist-generated /package.json linguist-generated +/**/version.mlt linguist-generated