# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1503395777 -7200
# Node ID e904aa5220681025c7c5aa43f726f6f885c37cfa
# Parent  123acfd5fe3510161cb80ad46ba449569721e0c1# Parent  5dc8671bec7370fb97100b38352de01ad9c6802b
merged

diff -r 123acfd5fe35 -r e904aa522068 CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Aug 22 11:48:57 2017 +0200
+++ b/CONTRIBUTORS	Tue Aug 22 11:56:17 2017 +0200
@@ -4,7 +4,7 @@
 
 
 Contributions to Isabelle2017
---------------------------------------
+-----------------------------
 
 * November 2016 - June 2017: Makarius Wenzel
   New Isabelle/VSCode, with underlying restructuring of Isabelle/PIDE.