From 188c1b34b00262515c6558b7513bca856fb9fb68 Mon Sep 17 00:00:00 2001
From: Michael Sammler <noreply@sammler.me>
Date: Thu, 11 Apr 2024 12:03:58 +0200
Subject: [PATCH] add maintain comment

---
 stdpp_bitvector/bitvector.v | 1 +
 1 file changed, 1 insertion(+)

diff --git a/stdpp_bitvector/bitvector.v b/stdpp_bitvector/bitvector.v
index 5a5f694b..8a50d367 100644
--- a/stdpp_bitvector/bitvector.v
+++ b/stdpp_bitvector/bitvector.v
@@ -1,2 +1,3 @@
+(** This file is maintained by Michael Sammler. *)
 From stdpp.bitvector Require Export definitions tactics.
 From stdpp Require Import options.
-- 
GitLab