From 794b0fe8f74bb54031ca37ed0f126ecc0b46f2fb Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andres@krutt.org>
Date: Sat, 25 Jun 2016 23:10:34 -0400
Subject: Update CONTRIBUTORS

---
 CONTRIBUTORS | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'CONTRIBUTORS')

diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index cf6cd93fa..905edafd1 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -20,9 +20,6 @@
 
 # Please keep the list sorted.
 
-## This file allows joining different accounts of a single person.
-## Cf for instance: git shortlog -nse. More details via: man git shortlog
-
 Adam Chlipala <adamc@csail.mit.edu> <adam@chlipala.net>
 Andres Erbsen <andreser@mit.edu>
 Daniel Ziegler <dmz@mit.edu>
-- 
cgit v1.2.3