hdate: init at version 1.6.02

2018-08-20 11:16:21 +02:00
parent 8204f10a8a
commit 0e159e042e
3 changed files with 23 additions and 0 deletions
@@ -673,6 +673,11 @@
    github = "changlinli";
    name = "Changlin Li";
  };
+  CharlesHD = {
+    email = "charleshdespointes@gmail.com";
+    github = "CharlesHD";
+    name = "Charles Huyghues-Despointes";
+  };
  chaoflow = {
    email = "flo@chaoflow.net";
    github = "chaoflow";