From a0b1ac39f615816666c30315f7313b2b7dbc06b7 Mon Sep 17 00:00:00 2001
From: Simon Huber <hubsim@gmail.com>
Date: Mon, 13 Apr 2015 21:17:51 +0200
Subject: [PATCH] license should include names

---
 LICENSE | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/LICENSE b/LICENSE
index 60882ad..6016c5d 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,7 @@
 The MIT License (MIT)
 
-Copyright (c) 2015 mortberg
+Copyright (c) 2015 Cyril Cohen, Thierry Coquand, Simon Huber, Anders
+Mörtberg
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
-- 
2.34.1