From 502860eb7ba1ea973369d64eda84c8aca5f43bc1 Mon Sep 17 00:00:00 2001
From: Stephane Grandcolas <stephane.grandcolas@lis-lab.fr>
Date: Sun, 7 Jun 2020 17:37:02 +0200
Subject: [PATCH] Update README.txt

---
 README.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.txt b/README.txt
index fd5544b..162d849 100644
--- a/README.txt
+++ b/README.txt
@@ -7,3 +7,5 @@ Type make to build the program named treedepth. Type ./treedepth -help to print
 For example ./treedepth -file heur_111.gr time 60.
 Use make PACE=yes to generate a version of the program corresponding to pace 2020 requirements (no options in line then).
 
+DOI 10.5281/zenodo.3884054
+
-- 
GitLab