From b1910297432012883ab1e4bc2bbbc53b1f9486a0 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 18 Aug 2019 14:34:19 +0100
Subject: [PATCH] Added zenodo DOI.

---
 .config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.config b/.config
index 21dce50..64ef7c7 100644
--- a/.config
+++ b/.config
@@ -2,7 +2,7 @@
 DOF_VERSION="1.0.0"    
 DOF_LATEST_VERSION="1.0.0"    
 DOF_LATEST_ISABELLE="Isabelle2019"    
-DOF_LATEST_DOI="undefined"
+DOF_LATEST_DOI="10.5281/zenodo.3370483"
 #
 # Isabelle and AFP Configuration
 ISABELLE_VERSION="Isabelle2019: June 2019"