more entries in gitignore for lower noise
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 25 Nov 2022 14:19:13 +0000 (15:19 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 25 Nov 2022 17:24:09 +0000 (18:24 +0100)
commitafaa86e866019b80eb3524706fc19837047c2e49
tree5283837ffb4881fead086b30baa334673738b05d
parent1d3540bd2ece27d91a2ec5843628c5fa38a25024
more entries in gitignore for lower noise
.gitignore