diff --git a/.hidden_commits b/.hidden_commits new file mode 100644 index 0000000..819b6e8 --- /dev/null +++ b/.hidden_commits @@ -0,0 +1,5 @@ +# Les commits dont les SHA sont listés ici (enfin, satisfont cette +# regexop étendue...) seront ignorés lors du calcul de la dernière +# modification (modifications automatisées...). + +26abda08cc82da6d3995fa617376eb93757b192d