From def2e9c37cc5cdbb801137bc4150be33c67fa4e1 Mon Sep 17 00:00:00 2001
From: Laurent Bartholdi <laurent.bartholdi@gmail.com>
Date: Sun, 7 Jan 2024 22:23:50 +0100
Subject: [PATCH] :lipstick: added Emilie to authors

---
 Rubin.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Rubin.lean b/Rubin.lean
index 35038de..390e5d7 100644
--- a/Rubin.lean
+++ b/Rubin.lean
@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2023 Laurent Bartholdi. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Author : Laurent Bartholdi
+Author : Laurent Bartholdi and Émilie Burgun
 -/
 import Mathlib.Data.Finset.Basic
 import Mathlib.Data.Finset.Card